some rewording in the products section
Merge branch 'master' of github.com:HoTT/book
reword the sentences mentioned above to avoid the confusion mentioned in my previous comment #185