Description: A version of ralxp with explicit substitution. (Contributed by Scott Fenton, 21-Aug-2024)