Add `for_all` function as a substitute for `Arbitrary` and `Arbitrary#property`

Trial