Categories within omal

Types within omal