added a encoder for crdt operation encode