order-type synthesis