on the way to substituting into bindings correctly
more substitution tests