Replace union, intersect with the same args by the last arg

[jfmengels]

Implements simplifications from #2:

Dict.union dict dict
--> dict

Dict.intersect dict dict
--> dict

Set.union set set
--> set

Set.intersect set set
--> set