[utilize coercion information to add type lambdas
John Meacham <john@repetae.net>**20060302123118] hunk ./E/FromHs.hs 146
-    let (vs,_) = fromSigma t
-        ty = tipe t
-    return (tVr (toId n) ty,ty,flip (foldr eLam) vs)
+    let ty = tipe t
+    cc <- asks ceCoerce
+    lm <- case Map.lookup n cc of
+        Nothing -> do
+            let (vs,_) = fromSigma t
+            return (flip (foldr eLam) vs)
+        Just CTId -> do return id
+        Just (CTAbs ts) -> do return $ \e -> foldr eLam e (map fromTyvar ts)
+    return (tVr (toId n) ty,ty,lm)