Add OFCountedSet.