Initial implementation of HashSet.subsetOf