Raising error when a binding introduces variable shadowing