Add labels to a number of ct theorems and defns

They were missing them, and I want them for HoTTBook.v in HoTT/HoTT.