WYCS: added support for union and intersection types
WYCS: minor tweak to the theory of sets.