change name of SuperType to TopType
Can we change the name of SuperType to TopType? SuperType sounds to me like one of the parent types of a Type. But you men the SuperType of all types. Right?
Can we change the name of SuperType to TopType? SuperType sounds to me like one of the parent types of a Type. But you men the SuperType of all types. Right?