Edit the README.
Rewrite the contributing guide.
Add blank Peano Axioms chapter.