Types within MILLER