Types within RIVAL