prose documentation for CRDTs