Extended forall, now as expressive as MiniZinc
Now all aggregation functions (macros) supported (forall refactored and generalised)