Types within RAISE3D