Add a partial, covariant Mapping type#47

harahu wants to merge 4 commits into

python:mainpython/typing_extensions:mainfrom

harahu:MappingAuxharahu/typing_extensions:MappingAuxCopy head branch name to clipboard