Types within GROVE