Distinguishing between bound variables, and variable binders