Describir: Composite replicated data types