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