Последняя вещь, которая мне не нравится - это типы цел и вещ. На самом деле, единственный тип цел, который имеет смысл - это integer из лиспа, число неограниченной точности. Для низкоуровнего программирования, каковым является работа с числами в обероне (это машинные числа, а не математические) тип цел без указания разрядности сразу делает программу непригодной даже для арифметики, потому что мы не знаем, для каких чисел она правильно посчитает а + 1. Т.е. только цел32, цел64 и т.п. Но для учебного языка нужно именно цел.

Пока не вижу хорошего решения. Если сделать цел машинно-зависимым, то это будет учить детей плохому. Если сделать цел равным цел32, то непонятно, почему 32, а не 64 и не 16. Если сделать его математическим, то дети потом не будут думать о переполнениях, и остаётся вопрос про вещ, который и в лиспе является машинным (в лиспе нет математического вещественного числа и я не очень понимаю, как его вообще можно задавать, ведь по сути дела вещественное число - это предел сходящегося ряда, не факт, что вычисления с вещественными числами, заданными таким образом, не обрушат машину, никогда не думал над этим).