typescheme (NOT build-passing)
typescheme complete
Error handling for ExprParser
Move types used in Eval
Rename TypeMap to TypeSubst