Types within DOALL