Intermediate commit to keep changes.

Tuples are on the way, need them, the construction of algebraic types, and we're set to handle Avalon streams.

FE changes to "typed outside, untyped inside" representation. That's much easier.