tweak intro to ch 8
wording/formatting in ch 8
Merge branch 'master' of github.com:HoTT/book
typo