https://ocaml.codingforstudent.com/5-no-nonsense-constraint-handling-rules/