PmCheck: Identify some semantically equivalent expressions
By introducing a
CoreMap Id to the term oracle, we can represent
syntactically equivalent expressions by the same
Id. Combine that with
CoreOpt.simpleCoreExpr and it might even catch non-trivial semantic
Unfortunately due to scoping issues, this will not resolve #17208 for view patterns yet.