(Mostly) type hints around the shelve module

This is based on the earlier topic that prints the pytype version, to reduce the CI runs if both are taken as-is.