Bug fixes!

Lots of bug fixes this week:

• Improvements to the Chat stream
• Improvements to examples in documentation for lists
• Improved conflict messages for unused binds
• Improved parsing for structure refinements to avoid conflicts with list spreads
• Improved robustness of type inference on documented bindings

We also decided to disable automatic pretty printing. It was just too jumpy and confusing to be usable. Pretty printing is still available on demand whenever you want to invoke it with a keyboard shortcut or toolbar button.