update comments documenting issue #4492 workaround
add is_subset and is_superset to the Set trait