Merge pull request #8 from nuked/master

Assorted updates for typesetting, readability and clarity.
Minor updates to chapter 5, typesetting in 3.

Some changes to chapter 5 to improve readability and cure minor typesetting glitches (and similarly in chapter 3).  Added text at the end of chapter 5 to explain the example (list sum with funs) a bit.