Add a default impl for Set::is_superset

I also deleted a bunch of documentation that was copy/pasted from the
trait definition.