Refactored all built-in constraints for documentation
Fixed bug in global_cardinality_closed
excluded fns and revised doc
Updated example after changes
Updated reference doc
Fixed bug in solve: minimize/maximize expression resolved
Refactored array: vector for multi-dimensional index-set
Revised production planning problem
Added several tutorial examples