Naming inconsistency between Lin and QCheck

[OlivierNicole]

Lin uses the name nat_small, whereas QCheck2 uses small_nat, which is a bit unfortunate. Same for int_small.

[jmid]

Ack.
This is an old pain point: c-cube/qcheck#223, c-cube/qcheck#243, and c-cube/qcheck#245 are attempts to normalize the situation to use consistent prefix names int*, nat*, string*, bytes*, ... for the various generators.
Anticipating this change, for Lin we thus went with the normalized names from the beginning.
Now, I need to get back to normalize the "upstream" qcheck names...

[OlivierNicole]

I see, thanks! Please feel free to close since this is already being addressed.

[jmid]

OK, I'll close then as the (long-term) intention is to offer renamed generators in qcheck, making the naming more consistent and predictable across the board.