introduce VarDecl::is_in_state as a replacement for VarDecl::state_variable

The latter was probably introduced too hastily and doesn't make for a good API.
We would like to have the freedom to change how we decide whether something is
in the state.