Add type set for arbitrary elements

- implement add, cardinality, equals
- add tests