Escrow with Timeout - Simplicity Typing CST Test