Initial import of the MiniZinc stdlib definitions.
(Based on the Opturion fork of the G12 repository.)