Notify constraint simplifiers when decision variables are unified

[Dekker1]

Constraint simplifiers are currently not notified when decision variables are unified. This is issue is a reminder to implement a mechanism to notify constraint simplifiers of variable unification events—mirroring the functionality provided for advisors—so they can react and propagate changes as needed.