fixed up last of Wouter's todo's
Implemented Wouter's comments, brought paper back to 16p., neatened up a lot.
Merge branch 'master' of ssh://github.com/toothbrush/reflection-proofs