Provide a mechanism for intrinsics that map to two C builtins (so that we can deprecate the old ones and add the new ones, without having a flag day)
Give the CHERI builtins more consistent names (mips.cheri.noun.verb).