> -- Сергей Губанов писал(а):
> Снабдить модуль специальным атрибутом (например, INTERNAL) и сказать, что модуль помеченный этим атрибутом могут импортировать только модули из его подсистемы.INTERNAL MODULE XxxYyyy;  (*...*)END XxxYyy.
И наблюдаем то самое изменение языка которого очень не хотим.  Причем это уже 3й вариант решения задачи в этой ветке (есть более ранняя) + вариант Руслана Богатырева + вариант языка Eiffel , очевидно, у каждого есть +/- и надо найти несколько неулучшаемых (т.е которым нельзя добавить + не добавив при этом - ) и потом уже серьезно думать какой лучше.