Add new range Matchers using the new generic matcher support

**Description**
v3 contain facilities for type-generic matchers, so that a matcher can be used on an arbitrary input type, as long as it fulfills the correct concept.

Catch2 already [provides some generic matchers](https://github.com/catchorg/Catch2/blob/devel/docs/matchers.md#generic-range-matchers), but it should provide more of them. The most obvious missing ones are

* `ElementsAre`, which would perform check that the input arg is exactly equal to the elements
* `UnorderedElementsAre`, which would perform check that the input arg is equal to the elements, in some permutation.

**Additional context**
Both of the matchers should allow providing either an exact value, or a matcher, as any of the construction arguments.