Не касаясь целесообразности подобного расширения, скажу, что вроде бы грамматику ввод упрощенного синтаксиса не усложнит. То есть форма VAR a[N]:REAL не делает грамматику Оберона сложнее чем LL(1) (а она и так LL(1)).
В плане добавления в синтаксис - я бы добавил инициализаторы массивов констант. Ибо дюже неудобно руками через arr[1]:=value забивать 223 коэффициента например fir-фильтра (и да, эти коэффициенты - константа, они НИКОГДА не меняются, поэтому класть их в нечто мутабельное, вроде массивов в обероне, смысла не имеет. это менее эффективно и более подвержено ошибкам).