extend the concept portability macros to support _Convertible_to(T) and _Derived_from(T)

[ericniebler]

Description

in private conversation, @miscco mentioned that he wanted a _Convertible_to extension to the concept portability macros so that he could replace:

template <class T>
_CCCL_CONCEPT fooable =
  _CCCL_REQUIRES_EXPR((T), T& value)(
    requires(cuda::std::convertible_to<decltype(some_expression(value)), U>)
  );

with

template <class T>
_CCCL_CONCEPT fooable =
  _CCCL_REQUIRES_EXPR((T), T& value)(
    _Convertible_to(U) some_expression(value)
  );

for good measure this PR also adds a _Derived_from macro, which i have wanted at times.

finally, this PR makes use of the new macros in cuda/__algorithm/common.h.

Checklist

• New or existing tests cover these changes.
• The documentation is up to date with these changes.

[copy-pr-bot]

Auto-sync is disabled for draft pull requests in this repository. Workflows must be run manually.

Contributors can view more details about this message here.

[ericniebler]

/ok to test d74e764

[ericniebler]

/ok to test 804f994

[github-actions]

🥳 CI Workflow Results

🟩 Finished in 2h 29m: Pass: 100%/110 | Total: 2d 01h | Max: 2h 28m | Hits: 82%/316700

See results here.

[Jacobfaib]

Why the swap?

[ericniebler]

Just for consistency with the argument order for the _Derived_from and _Convertible_to cases