Merge docs for typing.py from accidental branch.