move reindexing prior to symbol resolution and model validation

The purpose of this is to ensure that resolved symbols (e.g. ExprID::referent)
have the same final index as their original target declaration.