Added disj to PersistentHashSet