Added links for Section 2.3 in contrib/HoTTBook.v

Added links for Section 2.3 of the book in contrib/HoTTBook.v, plus some minor changes.