Modified version of SwiftCloud that integrates CPRDTs