Description: Define the uniform structure extractor function. Similarly with df-topn this differs from df-unif when a structure has been restricted using
df-ress ; in this case the UnifSet component will still have a
uniform set over the larger set, and this function fixes this by
restricting the uniform set as well. (Contributed by Thierry Arnoux, 1-Dec-2017)