> -- dumper6 писал(а):
> Вызов реализации объектов из модуля (Host)Files, когда в программе явно указано использование модуля (System)Files, как минимум напоминает недокументированную возможность ББ.

Чего тут недокументированного?

Это обычная многократная виртуализация, через несколько абстрактных интерфейсов. Читайте про паттерны ООП (например, книгу Гаммы и Ко.).

> -- Цитата:
> Вдобавок ломается прозрачная логика работы с модулями ООП (взятая из object-pascal).

А причём тут Object Pascal?
Оберон / КП не имеют никакой связи с Борландовскими системами.