Conflict-Free Replicated Data Types in Eventually Consistent Systems