Minor changes to pretty-printer instances, handles shifts better.

Known oddity: Sometimes TTuple's (and probably ETuple's) appear without
any children and look rather odd -- That's because they're a unit, and
should probably be desugared away.
Add information plumbing to fix broken tree spine issues.

The printer should be slightly more resilient to potentially missing
final entries at each tree node.