[check for bindings and uses of the empty tvr in more places
John Meacham <john@repetae.net>**20060816023922] hunk ./E/Eval.hs 84
+    eval' _ds (EVar TVr { tvrIdent = 0 }) _stack = fail "empty ident in term"
hunk ./E/TypeCheck.hs 110
-            return $ eAp (followAliases dataTable a') b
+            --b <- strong' b
+            strong' $ eAp (followAliases dataTable a') b
hunk ./E/TypeCheck.hs 124
-        let ck (tv@(TVr { tvrType =  t}),e) = withContextDoc (hsep [text "Checking Let: ", parens (pprint tv),text  " = ", parens $ prettyE e ])  $ do
+        let ck (TVr { tvrIdent = 0 },_) = fail "binding of empty var"
+            ck (tv@(TVr { tvrType =  t}),e) = withContextDoc (hsep [text "Checking Let: ", parens (pprint tv),text  " = ", parens $ prettyE e ])  $ do