Let the lower layer choose types for the upper layer's terminals

[pczarn]

Right now, all terminal symbols have a common inferred type. They should be allowed to have separate types, as decided by the sub-layer. The interaction between the layers is tricky.