Specify what happens for binary operators (e.g. `__add__`)

There's a subtle dance around __add__, __radd__, and NotImplemented. While most of the rules are in the language spec, I think we haven't specified carefully what the signature should be of e.g. the __add__ method, especially when annotations are inline. (At least, I didn't find any mention of NotImplemented in the spec.)

In typeshed we seem to ignore the "overload" __add__: (Any) -> Literal[NotImplemented] (to be loose with notation), but what do typecheckers do when they see a concrete __add__ or __eq__ implementation that can return NotImplemented?

Bắt đầu bằng việc xem xét các quy tắc đặc tả ngôn ngữ cho add, radd, eq và NotImplemented, sau đó so sánh cách typeshed hiện biểu diễn các phương thức này. Kiểm tra cách các trình kiểm tra kiểu xử lý những triển khai cụ thể có thể trả về NotImplemented. Được xem là hoàn thành khi đạt được sự thống nhất về các chữ ký và hành vi cần được đặc tả.