aggregates, currently only with term constructors (ie apply
a symbol to the set of aggregate answers)