Add support for collection union for sets

[ankushdesai]

There is a need to union collections in P.

It would be good to overload += to do union of sets. Similarly to use -= to remove eliminates elements from the set.