A new collection ArraySlicedSet to compactly represent up to 8
overlapped sets. It is now used to store decomposed and composed
subsumers in contexts.