Let the lower layer choose types for the upper layer's terminals #31
Description
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.