Вообще, в модуле SYSTEM можно определить типы фиксированной размерности.
Нельзя. Во-первых SYSTEM это опциональный модуль (в реализации его может не быть). Во-вторых просто по логике такие типы должны быть не в SYSTEM, а в другом встраиваемом модуле.
К сожалению в Обероне даже нельзя сделать TYPE INT16 = INTEGER -- это запрещено репортом. Можно конечно выкрутиться тестами и прочим, но это уже не просто костыли, это уже целые заросли костылей. Экзоскелет для оберона.
Вирт сделел все, чтобы программа написанная для конкретной реализации оберона была гарантированно работоспособной только на данной реализации оберона. Перенос её на другую реализацию или скажем платформу - это боль и баги на ровном месте.
PS. Я вообще перестал понимать что такое ЯП Оберон в этом репорте - с одной стороны это не тот язык который используется в Project Oberon 2013, то есть компилятором ЯП Оберон эту ОС Оберон и модули её не собрать - там другой язык. С другой стороны в ЯП Оберон Вирт в тот же SYSTEM внес абсолютно бесполезную функцию LED, которая имеет смысл только в его последней реализации ОС Оберон. В общем какая-то фигня на постном масле.