Системный адресный тип как раз должен быть совместимым с целыми, потому что он нужен, в основном, для адресной арифметики. Если бы не это, то нам сгодился бы и ANYPTR, который как раз явным кастом Вы собираетесь переводитьво что? Целого с размером адреса (чтобы был 32-битным в 32-битных системах, и 64-битным в 64-битных) в ББ нет, напоминаю.

Хорошо, 64-битного ББ нет. Но есть Ofront+, который транслирует КП в Си, в т.ч. и для 64-битных систем.

У Вас не дойдут руки, поверьте мне. Вы не представляете что такое добавить беззнаковое целое в компилятор, который для этого не заточен. Говорю как человек, который добавил беззнаковый байтовый тип в OP2. Но это, кстати, ещё легко получилось. Вы как собираетесь сравнивать 32-битное целое со знаком и беззнаковое? Приводить к 64-битному со знаком оба? А при сравнении 64-битных знакового и беззнакового к чему будете приводить? Я повторюсь: внутренности OP2 не заточены на беззнаковые типы от слова "вообще". Если захочется сравнения без приведений, то придётся перепахивать пол-компилятора.

Но ввести алиас это самое меньшее, что необходимо сделать. Это будет более правильно, чем Ваши фантазии, тем более, в язык Оберон они никак не проникнут.

Кстати, ещё необходимость в 64-битности: для серверных применений. Всё-таки архитектура i586 не является родной для подавляющего большинства существующих серверов. И если на своём сервере её худо-бедно можно добавить, то на сервер, где Вы не являетесь рутом - уже нет. Или Вам близок принцип "мне не надо - значит никому не надо"? Ну, похоже на то. "Мне никогда не понадобится делать на ББ сервера"? Ладно, я вижу, что Вы write-only человек, и просто меня не слышите.