[add more CanTypeCheck instances for E data types, make SSimplify always use the strong typechecking algorithm
John Meacham <john@repetae.net>**20060222025250] hunk ./E/SSimplify.hs 182
+    getType e = infertype (so_dataTable sopts) e
hunk ./E/TypeCheck.hs 208
+
+instance CanTypeCheck DataTable TVr E where
+    typecheck _ tvr = return $ getType tvr
+
+instance CanTypeCheck DataTable (Lit a E) E where
+    typecheck _ l = return $ getType l
+
+-- TODO, types might be bound in scrutinization
+instance CanTypeCheck DataTable (Alt E) E where
+    typecheck dt (Alt _ e) = typecheck dt e