[red-knot] Compare expression inference - Instance (+ Rich Comparison, Membership Test) #13872
Description
- Related to [red-knot] Compare expressions #13618
- Continuing work from [red-knot] feat: implement all rich comparison operators #13635 (comment)
The item mentioned in #13618, "Bug with defined method but other type that doesn't match the signature," might complicate the upcoming PR too much. For now, I’ll focus solely on the implementation of Rich Comparison.