Conflict-free Replicated Data Types, Distributed Systems, Eventual Consistency, Collaborative Editing