Constraint Solving and Programming: What next?