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.

Curious what problem this is actually solving, the name gives nothing away.

The second paragraph describes the motivation. I encourage you to read the paper.