Claret: Using Data Types for Highly Concurrent Distributed Transactions (Preprint:PaPoC)