[rewrite rules with typechecker too
John Meacham <john@repetae.net>**20060408001525] hunk ./FrontEnd/Tc/Main.hs 561
-            (rs1,rs2) <- localEnv (mconcat envs) $ do
+            ((e1,rs1),(e2,rs2)) <- localEnv (mconcat envs) $ do
hunk ./FrontEnd/Tc/Main.hs 566
-                    return (rs1,rs2)
+                    return ((e1,rs1),(e2,rs2))
hunk ./FrontEnd/Tc/Main.hs 578
-            return [prule]
+            return [prule { hsDeclLeftExpr = e1, hsDeclRightExpr = e2 }]