Add typing.Reader and typing.Writer

I recently stumbled at a TODO in typeshed that proposes to split IO[AnyStr] into smaller pieces. I think it is a good idea and propose to add two protocols:

class Reader(Protocol[AnyStr]):
    def read(self, n: int = ...) -> AnyStr: ...
    def readlines(self) -> List[AnyStr]: ...
    def close(self) -> None: ...

class Writer(Protocol[AnyStr]):
    def write(self, s: AnyStr) -> int: ...
    def writelines(self, lines: List[AnyStr]) -> None: ...
    def close(self) -> None: ...

Then IO[AnyStr] can subclass both, plus add some less often used methods (also IO should stay nominal). What do you think?

Start with the referenced TODO in typeshed and review the existing definition of typing.IO. Compare the proposed Reader and Writer protocols with IO's less frequently used methods and the requirement that IO remain nominal; done means reaching agreement on the protocol design and documenting or implementing the accepted change.