Avoid name clashes with Zinc stdlib.

karkuo/kakuro.mzn:
	As above.