Expand description

The type checking phase.

Functions