4.2.3. FlatZinc builtins

These are the standard constraints that need to be supported by FlatZinc solvers (or redefined in the redefinitions.mzn file).