update PDF with chapter 7 full draft

sofp-src/make_sofp_pdf.sh

@@ -69,10 +69,10 @@ echo Result is "$name.pdf", size `kbSize "$name.pdf"` bytes, with `pdfPages "$na
 tar jcvf "$name-logs.tar.bz2" $name*log $name*ilg $name*idx $name*toc
 echo "Log files are found in $name-logs.tar.bz2"
 
-# Create draft file.
+# Create draft file by selecting the chapters that have been proofread.
 "$pdftk" $name.pdf dump_data output $name.data
 egrep -v 'Bookmark(Level|Begin)' $name.data|fgrep Bookmark|perl -e 'undef $/; while(<>){ s/\nBookmarkPageNumber/ BookmarkPageNumber/ig; print; }' | \
-   egrep '(Typeclasses and functions|Applied functional type theory|C The Curry-Howard |E A humorous disclaimer)' | egrep -o '[0-9]+$' | \
+   egrep '(8 Computations in functor blocks. I. Filterable functors|Applied functional type theory|C The Curry-Howard |E A humorous disclaimer)' | egrep -o '[0-9]+$' | \
    (read b1; read e1; read b2; read e2; pdftk sofp.pdf cat 1-$((b1-1)) $e1-$((b2-1)) $e2-end output $draft.pdf; echo Draft page ranges 1-$((b1-1)) $e1-$((b2-1)) $e2-end )
 rm -f $name*{idx,ind,aux,dvi,ilg,out,toc,log,ps,lof,lot,data}
 

sofp-src/sofp-functors.lyx

@@ -22531,8 +22531,8 @@ a definition of functor so functor is the term which is used in functional
  to identity the library Scala check will go through a large number of a
  randomly chosen values of this type and it can generate these values automatica
 lly the checking for s map is quite similar except for the order of arguments
- which was inverted as compared with that map and F Mikoto exactly the same
- as f ma'am now for my bad actually the test would fail if I wrote the same
+ which was inverted as compared with that map and F exactly the same as
+ f ma'am now for my bad actually the test would fail if I wrote the same
  test for me from my bad it would have failed because my bad does not give
  you identity it always Maps your option to none so once you take here an
  option that's not none you get and there and also we verify the composition

sofp-src/sofp-functors.tex

@@ -3883,10 +3883,10 @@ \subsubsection{Statement \label{subsec:f-Statement-functor-preserves-injective}\
 go through a large number of a randomly chosen values of this type
 and it can generate these values automatically the checking for s
 map is quite similar except for the order of arguments which was inverted
-as compared with that map and F Mikoto exactly the same as f ma'am
-now for my bad actually the test would fail if I wrote the same test
-for me from my bad it would have failed because my bad does not give
-you identity it always Maps your option to none so once you take here
+as compared with that map and F exactly the same as f ma'am now for
+my bad actually the test would fail if I wrote the same test for me
+from my bad it would have failed because my bad does not give you
+identity it always Maps your option to none so once you take here
 an option that's not none you get and there and also we verify the
 composition law which means we say for all X and for all functions
 F and G and here I chose some specific types like integers string