Categories within AGIE

Types within AGIE