Categories within REGAL

Types within REGAL