Update references of 'binding' to 'with-redefs' in the tutorial.

In steps 6 and 7 of the tutorial some of the code samples and tutorial
text were using the binding method instead of the with-redefs method.
These, as well as another small typo, have been updated.