The type checking functionality of the Lark compiler.
For more information, see the main readme and internals doc.