[spectec] Make definition of state access nicer

[rossberg]

@f52985, in an attempt to make (the rendering of) these helpers a bit more readable, I introduced a trivial indirection through two auxiliary functions. Unfortunately, that completely breaks the interpreter, and I don't understand why. Can you please have a look?