more boring stuff
discuss (unidirectional) spreadsheets, tree-shaped bidirectional systems, and clean up discussion of linearity a bit
make this TODO a bit more descriptive
comments on the related work from Benjamin