Optimization of the quantifier data-structure. First step toward cleaning-up `initstep`, connected, and pruning vs. simplifying issues (simplifying is OK). Uncovered problems with numerical disjunction elimination.