Continue reformatting the book (#101)

* wip

* wip

* wip

* fix closing parentheses (closes #102)

* wip

* begin editing chapter 6

* wip editing chapter 6

* wip

* wip

* wip

* wip corrections in chapter 9

* last corrections from the printed book

* wip

* corrections in chapter 9

* wip

* better layout in chapter 6

* wip

* fix script for no-number equations

* corrections in chapter 10

* wip chapter 11

* finished corrections in chapter 11

* corrections in chapter 12

* wip

* update pdf

* wip

* wip

sofp-src/cover/sofp-back-cover-no-bg.tex.src

@@ -22,7 +22,7 @@ functions and types; the Curry-Howard correspondence; laws, structural
 analysis, and code for functors, monads, and other typeclasses based on exponential-polynomial data types; 
 techniques of symbolic derivation and proof;
 free typeclass constructions; and
-parametricity theorems.
+practical applications of parametricity.
 
 Long and difficult, yet boring explanations are logically
 developed in excruciating detail through NUMBEROFCODESNIPPETS