Fixed backwards ordering of ordinals. variableMap and MatchHelper now handle a variables that appear more than once properly.
Merge pull request #231 from heiseda/master

Sorting fix and bound variable elimination expansion