Expanded Bound Variable Elimination

In commutative matching, we now perform elimination on all variables bound to constant atoms.