Time-Lock Contract - Simplicity Typing CST Test