COSet now extends CRDT