Tests for reduce on set union and intersection

Add a first few simple tests for reduce meta-op on union and intersection.