Reinstate tuples.

 * Add product type syntax, separate from tuples.

 * Tuple type syntax is sugar for a product ending with unit.

 * Don't forget about unit!

 * Tuple literals allow locals, like vector literals.

 * 1-tuples are possible.