Bound Variable Elimination

In commutative matching some classes of bound variables can be eliminated as constants. This pull request implements elimination of variables bound to literals. Other types of elimination are probably possible but need more thought.