WeakHashSet (hopefully complete, not synchronized)