Monotonic Aggregators (unchecked)

[maurer]

Add monotonic aggregation, as explained in thesis proposal. Essentially:

1.) User defines a bounded join-semilattice.
2.) User can match on whether the join of a field in a submatch will join with a constant to a value other than itself (e.g. whether or not the aggregate lattice value is above something).