Expand description

Code for type-checking closure expressions.

Structs