Describir: A meaning explanation for HoTT.