В Компонентном Паскале - это нехорошо, так как вложенные процедуры имеют доступ к локальным переменным, следовательно они должны быть выше процедур концептуально.

я вообще думаю радикально всё испортить, и сделать требование, чтобы весь доступ к локалам уровня выше явно указывался. типа такого:

идея такая, что это «грязный» доступ, который лучше явно помечать. совсем его убирать слишком радикально: это часто удобно. но сделать его чуть-чуть неудобным и явно видимым — мне кажется, имеет смысл. конечно, не в рамках CP уже, увы — но мне с Ultra Pascal можно.

Если такие штуки как-то сделать с помощью вызова SYSTEM, то это будет лучше, так как связано с особенностью реализации, а не с изменением языка. Так как изменение локальных переменных вложенными процедурами - достаточно частный источник возможных ошибок, то в целом - правильная инициатива для повышения надёжности.