This module implements the type calculation of the scoreboard.
A context to typecheck things in.
Performs a type check.
Checks whether a node is of a given type.