SimplifierWithPaths handles MatchExpr. Utility functions.
Remove matchToIfThenElse from simplifiers
Deprecate patternMatchReconstruction etc.
Reduce usage of matchToIfThenElse in Tactics
Minimize usage of matchToIfThenElse in CodeGen
Better GuidedDecomp code using new features
Equality instead of isInstanceOf, when possible