Types within HEALD