Сообщение пытается абстрактно описать некую реальность, отталкиваться нужно от неё, от реальности.

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

Все обсуждаемые правила про VAR для полей (если мой мозг не глючит, что уже возможно) сразу становятся естественными.

На абстрактном уровне говорить про связные блоки байтов неудобно.

Традиция (ещё от Алгола) -- говорить о "языках высокого уровня" в полном отрыве от железа. Но понять Оберон-идею, невозможно, не помня, что Оберон-язык -- это тонкий слой абстракции над железом.

Преподаватели вводных курсов знают, что при обучении важно научить "видеть" железо под конструкциями языка -- это несколько противоречит the традиции. Андрей Хапугин из новосибирского Академгородка делился в 2005 г. именно таким опытом -- только там речь шла о физиках-первокурсниках и праОбероне (Модуле-2).