Илья, ну смотри. Теговый указатель присваивается только через NEW, ему присвоить произвольный адрес вручную нельзя, так? (вернее, можно, но нельзя — себе дороже). А безтеговому можно — это делают сторонние библиотеки. По крайней мере, я так думал до вчерашнего дня. В моей голове вот это самое POINTER [untagged] именно так и разложилось.

Предлагаю обсудить внедрение сущности "нетрассируемый указатель, на котором нельзя сделать NEW". Пусть будет тег [untraced]. Полностью чужеродный для Оберон-рантайма и защищённый от посягательств сборщика мусора на 100%. Вся инфраструктура для его реализации уже готова, синтаксис устаканен, а семантика просится сама собой.

POINTER TO ARRAY — обычный указатель на тегированный Оберон-массив
POINTER [untraced] TO ARRAY — нетрассируемый указатель на тегированный Оберон-массив
POINTER [untraced] TO ARRAY [untagged] — нетрассируемый указатель на безтеговый массив

P.S. Кстати, сейчас ARRAY [untagged] — безтеговый, но если на этапе компиляции известна длина массива, то эквивалентен теговому.