[Remove debug code.
Lemmih <lemmih@gmail.com>**20080219151554] hunk ./E/Subst.hs 77
-
-{-
-data E = EAp E E
-    | ELam TVr E
-    | EPi TVr E
-    | EVar TVr
-    | Unknown
-    | ESort ESort
-    | ELit !(Lit E E)
-    | ELetRec { eDefs :: [(TVr, E)], eBody :: E }
-    | EPrim APrim [E] E
-    | EError String E
--}
-
-litE = ELit (LitInt 10 Unknown)
-idE = ELam (TVr 2 Unknown mempty) (EVar (TVr 2 Unknown mempty))
-
-testE = EAp (EVar (TVr 2 Unknown mempty)) idE