Large refactor: Use TypedExpr data type
-rw-r--r-- 6814 Expr.hs
-rw-r--r-- 3632 ParseType.hs
-rw-r--r-- 3807 SimpleFT.hs