[spectec] Formalise binding semantics for let premises#2109

rossberg wants to merge 23 commits intomainWebAssembly/spec:mainfrom

spectec.letWebAssembly/spec:spectec.letCopy head branch name to clipboard