Eventually-consistent object types - a library of CRDTs