Remove matchToIfThenElse from simplifiers
Deprecate patternMatchReconstruction etc.
Reduce usage of matchToIfThenElse in Tactics/Solver
Minimize usage of matchToIfThenElse in CodeGen