Documentation cleaned up with markdown syntax
fn array fixed for all type-inst
Cleaned up fns array and variable (removed outdated comments, extended doc...)
fn minizinc: options added (previously missing chunck)
Cleaned up fn variable
Cleaned up macro forall
Added arg init-value to fn array
Renamed nega back to not
Order of definitions changed (for lein doc)
forall-format public again
Tutorial considerably extended