Separate substitution finder and definition finder
-rw-r--r-- 9458 Expr.hs
-rw-r--r-- 3632 ParseType.hs
-rw-r--r-- 3422 SimpleFT.hs