Monuses and Heaps

Lovely bag of tricks. Abstractly, representing differences seems to make a lot of problems easier / more general.

For more weird stuff, see eg. regular expression derivatives, differential dataflow.