reformulate table 7.1 (of HoTT proofs in homotopy theory)