Fixtype of RISC-V feature choices for 32 vs. 64 bits.
This is a tagged union type, introduced by fty::deftagsum.
A major feature choice in the RISC-V ISA is the choice between 32 and 64 bits.
