Fixtype of Java integral types [JLS14:4.2].
This is a tagged union type, introduced by fty::deftagsum.