[`RingTheory/Algebraic`] `Transcendental`/`IsAlgebraic` over fraction rings

[SnirBroshi]

Prove:

• Transcendental ℚ r ↔ Transcendental ℤ r
• IsAlgebraic ℚ r ↔ IsAlgebraic ℤ r

And also generalize using IsFractionRing and/or FractionRing.