Various debugging and improvements for the MiniZinc challenge.
Added a native Element constraint.
1.2 release