Types within RAYMOND