Remove markForUpdate.
Remove Arc.update.
Move arc relations into solver.
Move constraint ctor logic to method in solver.
Remove trySetAndResolveConstraints.