В 1997 году Пол Рой и Клеменс Шиперски (Paul Roe and Clemens Szyperski) предложили расширение Оберона параметризованными типами:

http://research.microsoft.com/en-us/um/people/cszypers/pub/jmlc97.pdf

Подход основан на стирании типов, один-в-один имеющийся сегодня в Java, при этом в последней параметризованные типы появились в 2004 году, а статья вышла в 1997.

Странно, что (а) ни в одной известной реализации Оберона (включая КП) до сих пор этот механизм не реализован (на сколько я знаю) и (б) на этом форуме данная статья ни разу не обсуждалась. Добавление обобщённых типов в Оберон когда-то обсужадось — участники форума сошлись на том, что лучше вручную генерить код и тут же его компилировать, т.е. наши костыли удобнее.