Extended HoTTBook.v with references for 2.6-9