Aggregate downward-gestalt separately from local process gestalts
Avoid redundant set wrapper
Avoid inefficiency in filter and match by reordering union and intersection