quantify variables on their own
-rw-r--r-- 9458 Expr.hs
-rw-r--r-- 3632 ParseType.hs
-rw-r--r-- 3682 SimpleFT.hs