Раскрытие обобщений (термин)

Описывая Кантор, я везде использую словосочетание раскрытие обобщений, имея в виду объявление уточненных типов из общих. По-моему, общепринятое обозначение этого действия — уточнение типов, но мне оно кажется не совсем удачным, особенно на сайте разрабатываемого языка, да еще с такой системой типов, как у Кантора.

Под «раскрытием» подразумевается раскрытие в математическом смысле, как раскрытие скобок. Объявление уточненных типов в Канторе и правда (?) представляет собой раскрытие скобок:

public class LongInt = Integer[32];

Если Integer при объявлении свойств используется со скобками, LongInt — уже без них. Чем не раскрытие? Аналогичным образом обобщенные библиотеки раскрываются под конкретный процессор или платформу.

Насколько правомочно использование этого термина? Переделать на «уточнение»?