Средства и методы разработки

Да, они хотят вынести этот способ на уровень компилятора. В основном - для статической и динамической верификации правил расширения системы. Это на самом деле проблема, поскольку при расширении через указатель система становится небезопасной - невозможен контроль типов(и не только для паскаля). Указатель как указатель, чего его пробовать-то? :)) Если разработчик делает контроль в голове, то система расширяема до тех пор, пока этот разработчик в пределах досягаемости. Я не поддерживаю введение в компилятор работы с совсем уж особенными абстракциями, не имеющими отношения именно к языку программирования. Видимо, обозначенную выше проблему надо решать по-другому.