declare variables as VarDecls in the symtab

This relates to the previous commit and trying to unify the referents of
ExprIDs. This should pay off in simplification in the long run. Note that this
restores the ability to reference state variables.