Не могу въехать в сабж. Какой документ отражает официальный стандарт? cltl или hyperspec?
cltl2, например, про loop говорит
The loop construct is the simplest iteration facility. It controls no variables, and simply executes its body repeatedly.
Ну а hyperspec описывает loop во всех деталях. Чему верить?
