[spectec] Make definition of state access nicer#2036

rossberg merged 7 commits intomainWebAssembly/spec:mainfrom

state-shorthandsWebAssembly/spec:state-shorthandsCopy head branch name to clipboard