Adapt to rocq-prover/rocq#21195 (add quality constraint kind)#144

SkySkimmer merged 1 commit intorocq-community:masterrocq-community/paramcoq:masterfrom

jrosain:elimination-constraintsjrosain/paramcoq:elimination-constraintsCopy head branch name to clipboard