anticipate a for loop's bounds being inverted during symbol resolution

The lower bound may be above the upper bound if the user has described a down
counting loop. These aren't properly supported yet, but it is an aspiration.

Github: related to #163 "reverse for ranges don't work"