CRDTs implemented in scala