Feature request: print large functions on multiple lines

[seanmcl]

Right now typecart printer generates a single line even for very long functions. It would be nice if the printer printed something with a column limit, like say 120.

[ruijiefang]

We've decided to try using the dafny formatter feature preview to format typecart-generated output: https://github.com/dafny-lang/dafny/tree/feat-add-trivia-next-token-formatter. We can try adding this once we fix all the printing problems.