implement simple subst as a special case of subst-seq (in λ as well -> #11)