Categories within KELL

Types within KELL