Categories within HEULE

Types within HEULE