TypeScript implementations of Convergent Replicated Data Types