Types within SONICS