Хорошо, хотя бы, что никто не взялся защищать исключение из языка указателей на массивы, возвращающее нас к временам критики Паскаля Керниганом и (IMHO) превращающее Оберон в непригодный для программирования язык.

Что касается исключения LOOP, то оно, по видимому, мотивировано (внезапно вспыхнувшим) желанием Вирта заменить все контекстные зависимости синтаксическими. Это не единственное подобное решение в Обероне-07. Другой пример: привязка (бывшего) оператора RETURN к окончанию функции. (Возможно, в "ту же степь" и predominantly functional style.)
Исключение LOOP Вирт пытался "подкрепить" введением цикла Дейкстры. Но, как говорится, "песок -- неважная замена овсу". Все приведенные примеры цикла Дейкстры не относятся к сфере применения исключенного оператора LOOP.