Add compare definitions.
Add updated CvRDT definition.