style: rename Nat.Partrec.Code.xxx_prim to primrec_xxx (#24811)
Nat.Partrec.Code.xxx_prim
primrec_xxx