Предложение:

Подсистемы образуют просто еще один уровень блочности (процедуры--модули--подсистемы).

Раз это замечено, то че колесо изобретать -- нужен только механизм "локальных переменных" для этого уровня блочности, т.е. сущности, видимые всюду в подсистеме, но невидимые вовне. Концептуальная простота и единообразие опять же.

Синтаксически, возникает проблемка, связанная  принятым соглашением об именовании глобальных сущностей (модуль.сущность).

А в остальном можно думать об оформлении.
Конечно, хотелось бы (если возможно) не трогать сам язык.