[when converting a scheme to a type, insure order of arguments is preserved.
John Meacham <john@repetae.net>**20051207001059] hunk ./FrontEnd/Type.hs 263
-schemeToType (Forall _ (ps :=> t)) = tForAll (snub xs) (ps' :=> t') where
+schemeToType (Forall _ (ps :=> t)) = tForAll ( snds $ snubFst xs) (ps' :=> t') where
hunk ./FrontEnd/Type.hs 270
-    uq (TGen _ tv) = do
-        tell [tv]
+    uq (TGen n tv) = do
+        tell [(n,tv)]