Types within HEESEMANN