Fix lambda calculus Subst definitions in test files.