JBurg 1.7.3 - performance

JBurg 1.7.3 eliminates temporary JBurgSubgoal objects, replacing them with a static lookup table. C++ handling of n-ary matchers also got some enabling work; the pattern-matching algorithms should now handle them correctly, with some additional work needed in the reduce actions' setup phase to present a correctly typed vector of the reduced values.