inline on top of capture-avoiding subst