Мне кажется эту проблему лучше решать на уровне IDE. Ну, например, делаем некоторое средство, которое формирует  список экспортируемых сущностей, так, чтобы методом перетаскивания можно было вставить в программу (с автоматическим изменением списка импорта в модуле).  Соответственно запрещенные к экспорту модули - недоступны.
Добавляем пункт меню - "Согласовать экспорт/импорт", для поиска модулей у которых список импорта не согласован с "главным" списком. А после наработки практики применения можно будет говорить о "законодательных" мерах.