Expand description

Type checking expressions.

See mod.rs for more context on type checking in general.

Functions