Add section on preventing widening integer indices

[gmarkall]

The section on the widening on integer indices produced in a loop over a range seems to accidentally be missing - it should be just before the "Limiting register usage" section in session 2.

This section should explain the use of a while loop and explicit incrementing to generate indices that remain as int32 instead of being prone to widening to 64 bits as is the case with range.