Add overloads to operators that may not return the expected type

[OutSquareCapital]

Example: frozenset & AbstractSet is typed by typeshed to return a new frozenset when it fact it won't do this ->

frozenset.__and__(AbstractSet)

But ->
AbstractSet.__and__(frozenset)

Which in fact have zero guarantee of returning a new frozenset instance.

This is one example amongst many potential others.

I raised an issue on typeshed repo, need to monitor how they handle this first.

[OutSquareCapital]

Directly linked to this typeshed issue