A finite set of elements.
interface set[combivariant value element]
subtypes collection[element]
not yet implemented set[element] copy() pure