Support nested catch blocks with the same parameter name

As reported by @radford in #56.