Addition of constraints on categories

A group must belong to exactly one category.
A category has at most one parent.
Revision of categories.