Construction types implemented in Hora