gut old type checking
type_check LitExp
use :string instead of :str for string type, add VarExp types (not yet FunCallExps, though)