Categories within AUTOL

Types within AUTOL