Categories within COLC

Types within COLC