Нетипизированные параметры, это когда вместо
MODULE A( IMPORT M, TYPE T, CONST C ), пишем
MODULE A( M, T, C ), и тип параметров M, T, C вычисляется при специализации. то есть, например, в один параметр M можно передать и модуль и запись и объект - главное чтобы их интерфейс не противоречил ожиданиям шаблона