Flatten tuples to right in pretty printer

* Tuples are flattened to the right, just as the parser nests them to
  the right

* Almost-duplicate printing code for tuples and pair types is greatly
  simplified.

Fixes #881.