Types within MOORE-FOSDICK