Text this: Constructive order types/