Add isOrdered predicate, redefine isOrderedMap and isOrderedSet in terms of them