finish writing a better subset generation algorithm for the step in which we check for presence of a set (draft in Subset.elm)