Types within SPERONI