[fix type analysis for rules
John Meacham <john@repetae.net>**20070306015801] hunk ./E/TypeAnalysis.hs 113
-                            addRule $ modifiedSuperSetOf t' vv (vmapArg n i)
+                            addRule $ modifiedSuperSetOf vv t' (vmapArg n i)
+                            --addRule $ modifiedSuperSetOf t' vv (vmapArg n i)