Correct ordinal subst in PROOF-Lite