mark Aggregator and subclasses with appropriate type variance

self-documenting.