Add Cartesian products and disjoint unions for Set