Хотелось бы все таки уяснить для себя, как люди живут в оберонах1/2 без сабжа? Во всех известных мне ООП языках есть некий базовый "Object", представляющий из себя корень любой иерархии типов. Исключением, пожалуй, является только C++, но там это отсутствие единой базы нивелируется наличием шаблонов (ну и на крайний случай всегда есть void *).