Просто был нужен байтовый тип со знаком, чтобы была линейка целочисленных типов всех размеров. Вот его и назвали BYTE. Можно было оставить SHORTINT (1) -> INTEGER (2) -> LONGINT (4) -> HUGEINT (8), но от этого решили уйти, что имхо правильно. Можно было SHORTINT оставить байтовым, а ввести какое-то новое имя типа для двухбайтового. Или, как предлагал Артур: назвать байтовый тип со знаком TINYINT. Но пошли по пути наименьшего сопротивления. Байт нужен? Нужен. Он есть? Есть. В Обероне-2 SYSTEM.BYTE часто тоже со знаком? Да. Ну вот и решение: вытащим BYTE из SYSTEM на свет божий и поставим в линейку целых. Все целочисленные типы - со знаком.