Thu Jun 8 09:36:29 EDT 2017

Gui: two approaches

- model recompute + tree diffing to compute imperative updates (react style)
- constraint directionalization

It is remarkable that by glossing over the problem (react style), a
whole class of problems is avoided.  It is a reformulation of the
problem that is quite remarkable.

My main question now is: does it make sense to invest in the
directionalized graph approach, or is the slight inefficiency of the
full model update + tree diff worth it in all cases?

Let's name them:
- tree-diff
- orient