Redefine `quoted.Expr.betaRduce` to not rely on complex type level computations.
Changed the signature as follows
```diff
- def betaReduce[F, Args <: Tuple, R, G](f: Expr[F])(using tf: TupledFunction[F, Args => R], tg: TupledFunction[G, TupleOfExpr[Args] => Expr[R]], qctx: QuoteContext): G = ...
+ def betaReduce[T](expr: Expr[T])(using qctx: QuoteContext): Expr[T] = ...
```

Improvements
* Simpler API that covers all kind of functions at once (normal/given/erased)
* Better error message for ill-typed `betaRduce` calls
* Adds the possiblility of knowing if the beta-reeduction suceeded
* Use `transform.BetaReduce`
* Improve `transform.BetaReduce` to handle `Inlined` trees and constant argumets
* Fixes scala#9466

Drawback
* Need for slightly loneger code (previous interface could be implented on top of this one)

Co-authored-by: Fengyun Liu <liu@fengy.me>