Module typecheck 

Functions and datastructures for type checking

Structs

Env

Typing enviroment, holding definitions of top level symbols.

Enums

TypeCheckError

Errors that can occur during typechecking.