What's in an Aggregate: Foundations for Description Logics with Tuples and Sets