Introduce type OrderedString