Types within RAMS