Expand description

Code for type-checking closure expressions.

Structs

What signature do we expect the closure to have from context?