Merge branch 'cleenup/deprecate-dune-disj-conj-neg-typetraits' into 'master'

Followup of Cleanup/deprecate dune disj conj neg typetraits

See merge request !974 (merged)

(cherry picked from commit cd213143)

ceea0683 Implement backports Std::conjunction, Std::disjunction and Std::negation in...