Fixtype of Java (unannotated) reference types [JLS14:4.3] [JLS14:8.3].
This is a tagged union type, introduced by fty::deftagsum.
This corresponds to the grammar rule for
As explained in class-type,
our class-type fixtype corresponds to
An (unannotated) type variable is a type identifier,
according to the rule for