This patch improves our type hints on the "emails()", "functions()",
"integers()", "iterables()", and "slices()" strategies, as well as the
".filter()" method.
There is no runtime change, but if you use mypy or a similar type-
checker on your tests the results will be a bit more precise.
The canonical version of these notes (with links) is on readthedocs.