This patch improves the "tuples()" strategy type annotations, to
preserve the element types for up to length-five tuples (issue #3005).
As for "one_of()", this is the best we can do before a planned
extension to PEP 646 is released, hopefully in Python 3.11.
The canonical version of these notes (with links) is on readthedocs.