Есть предложение изменить интерфейс Kernel на предмет устранения SHORTCHAR.
ThisMod и LoadMod уже имеют правильные сигнатуры.
Делаем аналогичные для ThisLoadedMod, ThisType, ThisObject, ThisField и ThisCommand (последняя, впрочем, все равно нигде не используется) а также для LoaderHook.ThisMod.
Тип Name переопределяем как ARRAY nameLen OF CHAR. Это благотворно повлияет на GetTypeName, GetObjName, GetRefProc, GetRefVar.
Поле name у Module прячем и добавляем процедуру GetModName:
PROCEDURE GetModName* (mod: Module; OUT name: Name);
Затем потребуется внести небольшие изменения в несколько модулей и можно думать о расширении языка за пределы Latin-1.