Anonymous nodes are assigned types only after all modules combine, see section 7.1.
we assume familiarity with theories of (typed) unification grammars, as formulated by, e.g., Carpenter (1992) and Penn (2000).