[turn arrow constructors back into EPi's before type specialization
John Meacham <john@repetae.net>**20060424110013] hunk ./E/TypeAnalysis.hs 272
+repi (ELit (LitCons n [a,b] _)) | n == tc_Arrow = EPi tvr { tvrIdent = 0, tvrType = a } b
+repi e = e
+
hunk ./E/TypeAnalysis.hs 280
-    spec t | Just nt <- Info.lookup (tvrInfo t) >>= getTyp (getType t) dataTable, sortStarLike (getType t) = (t,Just nt)
+    spec t | Just nt <- Info.lookup (tvrInfo t) >>= getTyp (getType t) dataTable, sortStarLike (getType t) = (t,Just (repi nt))