Fix inflations with variable-to-variable bind.

Modify algorithm, so inflations trigger repeated messages between
variables bound to each other.  For instance, if Y is bound to X, X
needs to repeatedly notify Y about changes, even if it’s already bound.