Types within HERON