[follow all aliases when converting a pattern to a term
John Meacham <john@repetae.net>**20061114050301] hunk ./DataConstructors.hs 10
+    followAlias,
hunk ./DataConstructors.hs 289
+        f c a b | a == tBox && canBeBox b = return ()
+        f c a b | b == tBox && canBeBox a = return ()
hunk ./E/LambdaLift.hs 10
+import DataConstructors
hunk ./E/LambdaLift.hs 152
-                    e' <- local (declEnv_u ((v,patToLitEE l):)) $ f e
+                    e' <- local (declEnv_u ((v,followAliases dataTable $ patToLitEE l):)) $ f e
hunk ./E/TypeCheck.hs 233
-        let nv =  patToLitEE l
+        let nv =  followAliases undefined (patToLitEE l)
hunk ./Main.hs 767
+    boxify t | Just e <- followAlias (progDataTable prog) t = boxify e