Text this: Concurrency Contracts for Designing Highly Available Replicated Data Types.