The type checker.

This module is the public face of it: the judgements themselves live in Rzk.TypeCheck.Judgements, the module driver and the declarations in Rzk.TypeCheck.Decl, and so on. What used to be one 5,500-line module is now a layer per concern, over the free-foil core in Language.Rzk.Foil.Syntax.