Empty tuples

Add support for empty tuples (a.k.a. unit, a.k.a. `()`) in anticipation of eventually switching to true type-level lists.