Функция Oberon2 - это, если память не изменяет, что-то вроде главного цикла в ОС Оберон.
Скачайте книжку Project Oberon Вирта и Гуткнехта с OberonCore - и поизучайте.

SYS.VAL в Ком.П./Блэкбоксе - нарушение ("трактовка") типа. Т.е. SYS.VAL(ТрактоватьКакТип, переменная).
Это относится к описанию системного псевдомодуля. Не знаю, где его найти к Оберону-2, но к КП он есть в документации Блэкбокса "Платформенно-зависимые особенности".