Export/import CRDT to/from JSON string
For storing a CRDT in an external database, it will be necessary to export it to a Document/JSON string.
For the map, I would suggest the following:
- for an entry k->(v,ts), store in the json object the property k associated with value v. Store the timestamp in an metadata property -- check Valter's design.
- for the causal context, just store it under property "_cc".