Timelock Contract - Clarity Typing CST Test