Cozy 2

synthesize data structures that track subsets and aggregations of multiple related collections.

alternating steps of query synthesis and incrementalization