Fixing function for pseudo-term lists that supports FTY-style discipline and is transparent to evaluators.
(pseudo-term-list-fix x) → new-x