introduced Type.Ref as common superclass of Type.Class and Type.Array