Types within MOORE