The [Alias] type now has an [Rhs] method that returns the type on the right-hand side of its declaration: given type A = B, the Rhs of A is B. (#66559)