0.9.7.4:
Improve type inference for LOOP arithmetic-for index variables
that have constant bounds and step (e.g (LOOP FOR I TO 10 ...)).
Fixes bug 278a.
* Comment out some code in the LOOP macro that was supposed to
generate optimized code for constant arithemetic-for, but
actually pessimized by outsmarting the loop induction variable
handling.
* Produces slightly less optimal code (one extra test and jump
when entering the loop) than the old version in the case where
sufficient type information is specified manually with an
OF-TYPE.
* Remove some fossilized remnants of the loop extension facility.