Support `NotRequired` on classes

[KotlinIsland]

To make an iterable that doesn't support str:

class WorkProperlyIterable(Iterable[out_T], Protocol):
    __contains__: NotRequired["(object) -> bool"]

[KotlinIsland]

And introduce a:

type Banned = NotRequired[Never]

in basedtyping