Categories within VIOTTO

Types within VIOTTO