A language for describing Riak CRDT modifications