Types within SOMACA