Ну да, есть противоречивость в логике браузера...
Тут есть неоднозначности в трактовке того, что и как показывать.
На уровне фактического доступа всегда все нормально - доступ есть только к экспортированным сущностям.
Например, моя процедура получит входным параметром расширение некоторого типа, которое неэкспортировано. Но если у него есть поля с меткой экспорта, то через модуль Meta я смогу их считывать/записывать...