clean up monoid-aggregator, and add documentation for custom operators