Add quoted.Type.valueOfTuple

[nicolasstucki]

  /** Extracts the value of a tuple of singleton constant types.
   *  Returns Some of the tuple type if it is a tuple singleton constant types.
   *  Returns None if the type is not a tuple singleton constant types.
   *
   *  Example usage:
   *  ```scala
   *  ... match
   *    case '{ $mirrorExpr : Mirror.Sum { type MirroredElemLabels = label } } =>
   *      Type.valueOfTuple[label] // Option[Tuple]
   *  }
   *  ```
   *  @syntax markdown
   */
  @experimental
  def valueOfTuple[T <: Tuple](using Type[T])(using Quotes): Option[T] = ...

[nicolasstucki]

See #12417 (comment)

[nicolasstucki]

Will need rebase on #12371

[liufengyun]

LGTM

[liufengyun]

CI failed, otherwise LGTM