Implement binary reified arithmetic for fzn
Merge branch 'feature-mzn' into develop