normalize_binding needs to accumulate the bound variables in its recursive case

This function has now been replaced by a much simpler and direct implementation
of the intuitive sense of renaming to avoid capture.

Fixes #23