fix- change lib.types.Types and HoTT to reflect previous commit