SMS dit: Constructive order types/