[infer new type after type analysis specialization properly.
John Meacham <john@repetae.net>**20060302231842] hunk ./E/TypeAnalysis.hs 255
-    sub = substLet  [ (t,v) | (t,Just v) <- sts ]
+    sub = eLetRec  [ (t,v) | (t,Just v) <- sts ]
hunk ./E/TypeAnalysis.hs 266
-        return (if sd then tvr { tvrType = getType ne, tvrInfo = infoMap (dropArguments vs) (tvrInfo tvr) } else tvr,ne)
+        return (if sd then tvr { tvrType = infertype dataTable ne, tvrInfo = infoMap (dropArguments vs) (tvrInfo tvr) } else tvr,ne)