In exists tactic, avoid name capture of other variables in the same quantifier.

Fixes #22