Constructive order types