Macro sugar for `for-all*`. `for-all` lets you name the parameter
and use them in expression, without wrapping them in a lambda. Like
`for-all*`, it returns a property.

Examples

(for-all [a gen/int
          b gen/int]
  (>= (+ a b) a))

Creates a property (properties are also generators). A property
is a generator that generates the result of applying the function
under test with the realized arguments. Once realized, the arguments
will be applied to `function` with `apply`.

Example:

(for-all* [gen/int gen/int] (fn [a b] (>= (+ a b) a)))