Types within HEIDEL