Tests:
	- overloaded operations

Type constraint library:
	- Set
	- MutableSet
	- ImmutableSet
	- Set[Num]
	- MutableSet[Num]
	- ImmutableSet[Num]
