ordered groups and restauranttypes