В Компонентном Паскале - это нехорошо, так как вложенные процедуры имеют доступ к локальным переменным, следовательно они должны быть выше процедур концептуально. А вот в новом Обероне уже запрещен доступ к локальным переменным, и вот там было бы такая композиция вполне обоснована. Однако именно в симметрии вложенности и есть простота, что мало нейронных связей в голове тратиться на постижение архитектуры модулей. Лучше не менять.