Refactoring: naming scheme changed -- removed leading underscores
Updated Readme
Fixed bug (I need to use clojure.core/= instead of my own = at times)
Fixed bug: revised set-of-int
Refactoring: added aVar?
Added array declaration
Refactoring: turned extract-mzn-string into expr
Removed extract-mzn-string
Refactoring: simplified array with expr