Types within SEYI