formatted and finished the polymorphism chapter.
Merge branch 'master' of https://github.com/etosch/proofs