treemap: rm a bit of redundant code
update comments documenting issue #4492 workaround
add is_subset and is_superset to the Set trait
add is_disjoint to the Set trait
add difference and symmetric_difference to Set
add intersection and union to the Set trait
Merge pull request #4682 from thestinger/treemap

Set trait improvements + minor treemap cleanup