People want them in general programming languages too. I can't count the number of times I had to implement the same function multiple times, but backwards in various ways.
I'd like to add more constraints in the future like a domain constraint for variables.