Module closure

Code for type-checking closure expressions.

Structs

• ClosureSignatures 🔒
• ExpectedSig 🔒
  What signature do we expect the closure to have from context?