working on indexing S
Merge branch 'master' of github.com:HoTT/book
wording/formatting in ch 4
wording/formatting in ch 5
finish indexing S, #94