Describir: Constructive order types/