Change Substitution to include the binders of the var names in the SType