Continue revising part 2 of the book (#106)

* wip

* last corrections in chapter 8

* wip

* wip

* finish corrections in filterable functors

* continue corrections in chapter 10

* wip

* document hunspell installation

* wip

* finish corrections in chapter 11

* finish corrections in part 2

* wip fix problems

* wip

* last corrections in index

* wip

sofp-src/lyx/sofp-appendices.lyx

@@ -7300,12 +7300,12 @@ alysis-on-normal-forms-of-lambda-terms-sufficient-to-prove-parametrici
 \end_layout
 
 \begin_layout Standard
-Parametricity properties only hold for fully parametric programs.
+Parametricity properties only hold for fully parametric code.
 \begin_inset Index idx
 status open
 
 \begin_layout Plain Layout
-fully parametric!program
+fully parametric!code
 \end_layout
 
 \end_inset
@@ -46226,7 +46226,7 @@ flatten
 
 \end_inset
 
- as
+ as:
 \begin_inset Formula 
 \[
 \text{ftn}_{L}:\bbnum 1+(\bbnum 1+A\times M^{L^{A}})\times M^{L^{L^{A}}}\rightarrow\bbnum 1+A\times M^{L^{A}}\quad.