[remove redundent check for bad applications and let the type checker figure it out.
John Meacham <john@repetae.net>**20061129081957] hunk ./E/Subst.hs 171
-eAp a@ELit {} b = error $ "very strange application: (" ++ prettyE a ++ ") (" ++ prettyE b ++ ")"
+--eAp a@ELit {} b = error $ "very strange application: (" ++ prettyE a ++ ") (" ++ prettyE b ++ ")"