Tuples in the expression part of the language parse correctly now.

Patterns aren’t quite right yet (but should be easy to fix), and
there’s no story for the syntax of pair types at all. Question via
e-mail forthcoming.