Tried to speed up the rewriter by eta-contracting all patterns beforehand and
by classifying each pattern as to whether it allows first-order matching.
improved pair_tac to call prune_params_tac afterwards
improved the (bad) efficiency of split_all_tac by about 50%
split_all_tac is now added to claset() _before_ other safe tactics