Types within HEINMAN