v24.03.1

• Formalised the dynamic semantics for the TST
• Improved performance of compiling the typechecker
• Cleaned up the type checker and TST
• Fixed \result not enforcing the correct type in the TST
• Fixed incorrect declaration ordering in the TST output
• Fixed contracts erroneously flagging functions as pure