Start implementing equation systems.
Deferred tree typing till later in the process - eager typing doesn't work when there are intensional relations.