Add "if <term> is <pattern> then _ else _" syntax#21609

proux01 wants to merge 2 commits intorocq-prover:masterrocq-prover/rocq:masterfrom

proux01:if-isproux01/rocq:if-isCopy head branch name to clipboard