Compilation of side conditions in pattern matches

[lukaszcz]

• Closes Side conditions in pattern matching #2804
• Requires Remove legacy naive match-to-case compiler #3003
• Front-end syntax for side conditions was implemented in Add front-end support for case expressions boolean side conditions #2852. This PR implements compilation of side conditions.
• Adds side-conditions to Match nodes in Core. Updates Core parsing, printing and the evaluator.
• Only side-conditions without an else branch are allowed in Core. If there is an else branch, the side conditions are translated in fromInternal into nested ifs. Because with else the conditions are exhaustive, there are no implications for pattern exhaustiveness checking.
• Adjusts the "wildcard row" case in the pattern matching compilation algorithm to take into account the side conditions.

[janmasrovira]

As discussed, let's first merge the removal of naive-match-to-case.