Lemma 3.3.2,3
fixed misnomers in solution of Exc. 3.9
Added Book_3_3_2,3
simplified 3.9, Import HoTTBook can be a problem