Added SetImpl Theory (eventually for CG) - with just a set union to
start
with.