Convergent and Commutative Replicated Data Types