Categories within HAVIR

Types within HAVIR