Rename "fuzz" and "fuzzer" to something else

[Janiczek]

Fuzzing is related to property-based testing but is its own separate thing.

We should not confuse people with weird naming (compared to the rest of the world).

Our "fuzz tests" are really property-based tests
Our "fuzzers" could be(?) generators, arbitraries, parsers. Maybe some other community found a better name. (Hypothesis has Strategies but the author hates that name in retrospect.)

This would need a major version bump, as well as changes to the runners.

[gampleman]

I think Test.fuzz => Test.property is a no brainer.

We could call the Fuzz module ForAll...

So you would have:

suite = 
    Test.property "sorting is indempotent" (ForAll.list ForAll.int) <|
       \lst ->
           list |> sort |> sort |> Expect.equal (list sort)

[Janiczek]

Just to explicitly point at it: your suggestion would change the order of arguments to Test.fuzz (from fuzzer,label,fn to label,fuzzer,fn). I like that change though - I'm a bit annoyed at the label not being the first currently.

Going against my conviction, I'll also note the original order could support something like Test.forall someFuzzer "some property".