Add option for generalization sets to show {disjoint, complete}

[BernardoFBBraga]

instead of showing the name of the generalization set, show their covering and disjointness properties