Improve stubs for the bisect module

[lmoureaux]

The stubs were requiring SupportsRichComparisonT, but bisect only uses lt. Be more specific as to which comparison is actually required, which depends on the function. This allows using bisect with types that only implement lt.

Closes #13347.

[Daverball]

As mentioned in the issue, objects can implement either __lt__ or __gt__ in order to support <, it doesn't need to be __lt__. That's what SupportsRichComparison is for, it's a looser restriction than SupportsDunderLT[Any], not a stricter one.

The core of the issue was the use of a type variable to ensure comparability between the needles in the haystack and the given needle, not the use of SupportsDunderLT | SupportsDunderGT as an upper bound for the type variable.

[github-actions]

Diff from mypy_primer, showing the effect of this PR on open source code:

spark (https://github.com/apache/spark)
+ python/pyspark/core/rdd.py:1392: error: Argument 1 to "bisect_left" has incompatible type "list[K]"; expected "SupportsLenAndGetItem[SupportsDunderLT[Any]]"  [arg-type]

mkdocs (https://github.com/mkdocs/mkdocs)
+ mkdocs/plugins.py:525: error: No overload variant matches argument types "list[Callable[..., Any]]", "Callable[..., Any]", "Callable[[Any], Any | int]"  [call-overload]
+ mkdocs/plugins.py:525: note: Possible overload variants:
+ mkdocs/plugins.py:525: note:     def [_T] insort_right(a: MutableSequence[_T], x: SupportsDunderLT[_T], lo: int = ..., hi: int | None = ..., *, key: None = ...) -> None
+ mkdocs/plugins.py:525: note:     def [_T, _U] insort_right(a: MutableSequence[_T], x: SupportsDunderLT[_U], lo: int = ..., hi: int | None = ..., *, key: Callable[[_T], _U]) -> None

core (https://github.com/home-assistant/core)
+ homeassistant/components/huawei_lte/sensor.py:95: error: Cannot infer function type argument  [misc]
+ homeassistant/components/huawei_lte/sensor.py:104: error: Cannot infer function type argument  [misc]
+ homeassistant/components/sensibo/climate.py:116: error: Cannot infer type argument 1 of "bisect_left"  [misc]

[lmoureaux]

Ok, now I understand why this is complicated, < calls __gt__ if __lt__ is not present or with derived classes. I won't spend more time in this rabbit hole.