Added aggregate method to EquiSet, and ++ method that takes another EquiSet to support aggregate usage.