Implement YacqReducingCombinator

Implement YacqReducingCombinator, Evaluate-based expression parser combinators.
Modify the implementation of term rules in the pattern grammar to match values
with new Evaluate-based combinators.