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

Как мы видим, Оберон-07 для целых чисел имеет только типы BYTE (который ввёл Вирт как компромисс, до этого для представления байтов усиленно использовался CHAR) и INTEGER. В Обероне-07 проблема типизированных целых констант вообще не актуальна. Остальных коротких и длинных грязных целочисленных типов нет. И SHORT/LONG не требуются. Мне этот подход, как вы наверное поняли, не по душе. Поэтому я и считаю Оберон-07 узкоспециализированным языком.

В Ofront'е+ реализованы константные массивы (в режиме -3). Насчёт записей мы тоже думали, но посомневались. Я уверен, что Вирт посчитал эту функциональность не настолько важной и положил её на алтарь простоты Оккама.