@338f82ef @c39d2605 @4c603b88 @462ebf4c 

I'm not sure about this formulation. I want to update `x` from `(X)` "globally": in a way that everything from `(X)` that'd have `x` referenced would also update it to the new value.