У последнего есть синоним "вариантный тип", но это "односторонний" синоним, т.е. "вариантный тип" не всегда является алгебраическим (в VB есть вариантные, в Си перечислимые, но ни те, ни те не являются ни рекурсивными, ни полиморфными), и в английской вики для "вариантного" выделена <url>. Ну что, где будем делать талию как назывём раздел в структуре?