Class SuperTypeClause