в общем, я в LC предварительно сделал так: CONST/TYPE/VAR, потом PROCEDURE, потом допускается ещё CONST/TYPE/VAR, но повторных PROCEDURE уже нельзя. так, мне кажется, правильно: минимизируем мешанину, более-менее чётко указываем, что такая возможность не для хаоса бездумной фигни, а с целью.

p.s.: естественно, на глобальном уровне такой фокус не разрешён.