Там генерики сделаны по-своему, не по статье Роя и Шиперски. И, кстати, требуется, чтобы типы-параметры были записями или указателями на запись и расширяли заранее выбранный тип (для библиотечных генериков это тип Object.Object), в отличие от статьи. Подозреваю, что авторы компилятора не были знакомы с обсуждаемой статьёй, а сделали всё самостоятельно, что ещё раз подтверждает необходимость в параметрическом полиморфизме в Обероне.