Add CRDT paper and rearrange a little