added a copy-constructor to IdentityHashSet