Change TypeCons
Make show :: TypeCons -> String more human-readable
Add exprOfString
Use StateT to maintain state

Functions in TypeInf.hs can be used in any monad.
Modify repl

Turn off buffering
Add parameter tenv to handle type environment