6.8.0.2
Lab 8
Develop the simple type checker we described in class. No interpreter, just the type-checker!
Define the Expr type, including num, plus, times, fun, app, and id
Define the Type type, including num and function
Define the TEnv type alias, for mapping names to types
Develop the typeCheck function, with type Expr TEnv -> Type