Put examples in their own environment

- have captions and numbering
Uniformly typeset proofs

- use spec environment and formatted multi-line comments
Do not indent the first line of a paragraph