Fixtype of Java (unannotated) type arguments [JLS14:4.5.1].
This is a tagged union type, introduced by fty::deftagsum.
A type argument is a reference type or a wildcard. A wildcard may have an upper bound, a lower bound, or no bound.