Added setUnion2 and setReduction to the setImpl theory