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 the Set
add intersection and union to the Set trait