Types within DIDION