Stylistic fixes

[clayrat]

• Added spaces in commented snippets so that indentation doesn't jump around in PDF
• Lines breaks seem to be necessary so that the informal proofs don't become mashed

[yurrriq]

Thanks!