I would like to define a new structural type for my code that is basically a non-mutable, ordered set.