> -- batyrmastyr писал(а):
> Может я чего не понял, но доп. средства организации модулей, по-моему, нужны. Например, разрешение на межмодульное наследование реализации _только для ограниченного_ числа модулей (если уж приходится терпеть наличие такого наследования).

Ограничение на наследование реализации уже существует в Компонентном Паскале: LIMITED (еще проще -- отказ от использования EXTENSIBLE).
А вот ограничение возможности импорта конкретного модуля -- хорошая идея.
Наверное, ее можно реализовать примерно так: ввести, наряду с секцией IMPORT, секцию EXPORT, где должны быть перечислены модули, имеющие право импорта данного модуля. (Если секция EXPORT отсутствует, то модуль импортируется как обычно, без ограничений.)
Это в качестве "затравки", т.к. должны существовать лучшие решения.