[don't do initial type analysis until after first simplification pass
John Meacham <john@repetae.net>**20070606073222] hunk ./Main.hs 323
-        mprog <- transformProgram tparms { transformCategory = "typeAnalyze", transformPass = "PreInit", transformOperation = typeAnalyze True } mprog
hunk ./Main.hs 332
+        mprog <- transformProgram tparms { transformCategory = "typeAnalyze", transformPass = "PreInit", transformOperation = typeAnalyze True } mprog