support for const-sets and some cleanup

constant Sets/Relations result in the generation of smaller Data-structures, only capable of holding the defined values.
This only works for SetTypes that are only used in a constant context. ConstSets of a type that also appear in a dynamic set behave just like their dynamic counterpart.