Categories within ZENO

Types within ZENO