Atomic Swap - Simplicity Typing CST Test