Fixing expected interface of sets i.e. bool intersects function, not a function returning actual intersection

Adding some methods to values for use by operators, e.g. equals and is_subset_of/intersection. Some are just stubs.