Added all global constraints
Extended installation instructions
Corrected grammar errors in tutorial
Updated version in project.clj
Replaced exists*, sum*, product*, max*, and min*  by overloading
macros exist*, sum, product, max, and min
Added change log