super type & sub type

Original text of this message