simplify impl of subst-seq (in λ as well -> #11)