[improve error message in getType
John Meacham <john@repetae.net>**20060426234633] hunk ./FrontEnd/Type.hs 66
-  getType (TAp t _) = case (getType t) of
+  getType typ@(TAp t _) = case (getType t) of
hunk ./FrontEnd/Type.hs 68
-                     x -> error $ "Type.getType: Invalid getType in type application for "++show t++": "++show x
+                     x -> error $ "Type.getType: kind error in: " ++ (show typ)