. . . . "Order properties can have any type as long as (a) there is a well-defined ordering on values of that type, and (b) there is a well-defined ordering among the types used for all of the order properties shared by a set of siblings." .