add a method for re-indexing a model's state

This was related to Github #62 "extract offset variable from parser" but it
turns out we can't just use this as-is because some other things depend on a
VarDecl having the correct offset as soon as it is constructed. Needs some more
thought.