Summary
- everything works (commit: fe7f822) (details)
- fancier indenting for array constraints (commit: 3df6737) (details)
- hide warnings (commit: 840cc53) (details)
- okay fine indent constraint printing by 1 (commit: 2a5a695) (details)
- lint (commit: 2281d9a) (details)
- proper lint (commit: 7dff674) (details)