[spectec] Formalise binding semantics for let premises#2109

rossberg merged 28 commits intomainWebAssembly/spec:mainfrom

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