This release refactors the implementation of the ".example()" method,
to more accurately represent the data which will be generated by
"@given".
As a result, calling "s.example()" on an empty strategy "s" (such as
"nothing()") now raises "Unsatisfiable" instead of the old
"NoExamples" exception.
The canonical version of these notes (with links) is on readthedocs.