Minor improvements to pretty printing
Minor improvements to pretty printing

Add a case for `TabCon` + split long binder lists over lines when they
don't fit into a single one.

google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang