Types within INDUMA