Types within DAVIS