> I feel it should just return `beta(conjugate(x), conjugate(y))`.

We need to do a new beta function that is a true class.
But let's first improve Gamma as far as necessary.