Implemented aggregates as PostPropagators.
Added missing file and some tests.