Fixed example method for capture avoiding substitution.

The fresh name only needs to be swapped in the expression of the
pattern abstraction, not in the whole expression of the body's
abstraction value.
Revised structure of the translation pattern. Removed parts of the old transformation scheme.