Move rules from predicate axiomatization to theory rewriter

[vhavlena]

Some formulae introduced in predicate/function axiomatization may be implemented inside the theory rewriter. We could better move them there to make the axiomatization simpler.

[jurajsic]

Note for whowever will work on this: some of the potentional candidates have TODO: move to the rewriter next to them, but for sure not all.