Gravar-mail: Join decompositions for efficient synchronization of CRDTs after a network partition: [Work in progress report]