add `contains-value?`
clean up `all-different-constraint`