WeakHashSet (hopefully complete)