Это выглядело бы запретом, если бы не было обычных указателей.

Просто сбивает с толку то, что безтеговых указателей в BlackBox'е фактически нет. А судя по принятому стилю описания указателей — они как бы должны быть. И вот я описываю вроде бы безтеговый указатель, но как только над ним стоит сделать NEW — он становится тегированным и отслеживаемым сборщиком, независимо от того, как объявлен. Получается дублирование сущностей POINTER и POINTER [untagged].

У кого-нить есть соображения, почему вообще существует POINTER [untagged], наряду с POINTER TO ARRAY [untagged] и POINTER TO RECORD [untagged] ?