The type unification functionality of the Lark compiler.

For more information, see the main readme and internals doc.