Fixtype of Java (unannotated) primitive types [JLS14:4.2] [JLS14:8.3].
This is a tagged union type, introduced by fty::deftagsum.