Supporting multiple CRDTs