Fixtype of RISC-V feature choices for the base.
This is a tagged union type, introduced by fty::deftagsum.
For now we only support RV32I [ISA:2] and RV64I [ISA:4]. We plan to add RV32E, RV64E, and RV128I [ISA:3] [ISA:5].
