Change the way integer variable can be created (add a new API), add new properties
Merge branch 'feature-mzn' into develop