I realise that once I get to this part, I would really like an explanation of what kinds of applications we can (and crucially, can’t) use DREAM for. This CRDT stuff sounds too good to be true (because, well it is) and it sounds like we’re promising magic.
We only use commutative, operations-based CRDTs, and DMC only implements sets and registers. Maybe this isn’t exactly the right point in the overall story, but at some point I would like to know (as a reader) what this means in practice. And I’m impatient after reading this paragraph 