[added CanTypeCheck instances for E
John Meacham <john@repetae.net>**20051018023939] hunk ./E/TypeCheck.hs 188
+instance CanTypeCheck DataTable E E where
+    typecheck dataTable e = case typeInfer'' dataTable [] e of
+        Left ss -> fail $ "\n>>> internal error:\n" ++ unlines (tail ss)
+        Right v -> return v
+
+instance CanTypeCheck DataTable [(TVr,E)] [E] where
+    typecheck dataTable ds = do mapM (typecheck dataTable) (snds ds)
+
+