Вообще, одно из напрягающих мест КП - это когда определение целостной абстракции (тип данных, константы, операции - методы и просто процедуры) разорваны "географически".

Оминки, кстати, ещё поощрили это, введя соглашение о том, что сначала все константы, потом типы, потом переменные...

Но, возможно, хорошо было бы иметь возможность и с процедурами чередовать объявления?

Допустим, оставив требование однопроходности (т.е. используемая переменная, тип, должны быть до использующей процедуры).

Засовывать методы в RECORD ... END в стиле Active Oberon считаю ненужным модничаньем.

А вот просто иметь возможность держать полное определение абстракции одним блоком - хорошо бы.

(Конечно, семантический редактор снял бы это противоречие влёгкуюНо мы пока живём с текстовыми исходниками...)