Proper support here overlaps with generics (since Self operates like a bound typevar).

• Implicit annotation of self: Self in the signature of methods
• Implicit type of self: Self in the body of methods
• Implicit annotation of cls: type[Self] in the signature of @classmethods
• Implicit type of cls: type[Self] in the body of @classmethods