Apply same optimization to Set#proper_subset?