Предлагайте, что по Вашему в Oberon избыточно.

Начну с малого, но бесспорного - функции ODD.

1. Нужно очень редко.
2. Заменяется невероятно просто - x MOD 2 = 1, что указано в самом определении.
3. На мой взгляд, смысл замены очевидней предопределённой функции. Odd - это странный(да, и нечётный тоже).
4. Оптимизация генерации для него не нужна, а если, всё-таки, хочется, то более обобщённая оптимизация деления степени 2-ки не только проста, но и полезней.


Однажды был зафиксирован казус - использование ORD(ODD(x)) вместо более прозрачного и короткого x MOD 2. Напомню для тех, кто забыл, что в Обероне второй вариант не требует отдельного учёта отрицательных x, поэтому он всегда тождественен первому.