Rename the <RawX> nodes to <Builtin><X>, making it easier to translate the XML into K.
Rename the <RawX> nodes to <Builtin><X>, making it easier to translate the XML into K.

kframework/llvm-semantics-old,davidlazar/llvm-semantics