Convergent replicated datatypes in Erlang