The type IR, unification with the unknown type, constraints and schemes, built and tested on its own. Nothing calls it yet.
