В циклах - это будут локальные переменные цикла. При этом, как мы выяснили, даже в случае структур никаких проблем с производительностью не будет. Если же речь идет о внешней (по отношению к циклу) переменной-структуре, то мне очень трудно представить пример, когда на каждом шаге цикла надо будет ее присваивать новому значению.
Ну представьте себе, к примеру, любой циклический алгоритм нахождения числа(пусть Фибоначчи), для длинных чисел. Можете пофантазировать на тему, когда массивы в числах динамические и статические.
Это не провокация. Это желание показать, что это не настолько принципиальная проблема. Да, я признаю, что такой подход не всегда будет удобен и конечно у него есть свои недостатки. Но я говорю о том, что он менее "проблемный" (по моему мнению), чем существующий сейчас в обероне (отдельная секция VAR, неинициализированные переменные).
Так и я не спорю с тем, что Ваш подход невозможен, а как раз с тем, что он менее проблемный, в особенности для языка уровня Оберон.