Propagator binding

[bokner]

As of now, the binding of propagators to space variables happens before propagation starts.

Either:

• eliminate binding (possibly by associating propagator variables to variable nodes of the constraint graph);
  Or
• lazily bind propagators on the first pass of propagation.