When using TrackedAtoms, don't carry along their parent's history.
Fixed subtle bug in eliminateConstants index calculation that caused constants not to be eliminated. All omit sequences are now iterated over from last to first to avoid indexing gynastics. eliminateConstants now eliminates bound variables.
Moved elimination of bound variables to its own function. Currently unused because it causes seemingly correct but non-optimal results.
Moved bound variable elimination back to its own function. Restricted elimination of bound variables to literals. Futher eliminations need more thought.
Added constant elimination back into ACMatcher.get_mandatory_bindings and added atom sequences of literals to bound variable eliminations.
Documented new MatchHelper functions.
Bindings aren't needed in eliminateConstants.
Merge pull request #227 from heiseda/master

Bound Variable Elimination