remove the special-valued expressions entirely
forbid goto in on entry/on exit
forbid classes and machines without states
add "always" block to lang

mainly to disambiguate state-local and run-local variables in states
without on blocks.
fix a rule name in the lang grammar