feat: experiment: treat `.casesOn` as a matcher#11027

nomeata wants to merge 5 commits intomasterleanprover/lean4:masterfrom

joachim/casesOn-as-matchleanprover/lean4:joachim/casesOn-as-matchCopy head branch name to clipboard