Deferred tree typing until later in the process - eager typing doesn't work when there are intensional relations.