А эта штука до сих пор жива, оказывается.
Для сохранения совместимости с 1.2 (это еще до ББ!) типы-указатели на анонимные записи записываются с суффиксом  Desc. Этим поведением управляет фаг compatible. Думаю, можно выставит его в FALSE, учитывая крайне малую распространенность Oberon/F.