This patch improves the type annotations for "one_of()", by adding
overloads to handle up to five distinct arguments as "typing.Union"
before falling back to "typing.Any", as well as annotating the "|"
("or") operator for strategies (issue #2765).
The canonical version of these notes (with links) is on readthedocs.