`defaggregator`, `defreduceraggregator` are not documented, either in the README.md, or via docstrings. They are quite tricky to work out exactly what they do just from the code, since they use `reify` without looking at the Storm source code as well.