Typos in coproduct section.
Merge pull request #310 from derekelkins/master

Typos in coproduct section.
Merge branch 'master' of https://github.com/HoTT/book
Add missing close parenthesis.

Fixes issue 312.
Merge branch 'issue312' of github:rpglover64/book