Fix #14934 by including axSub0R in typeNatCoAxiomRules