Dynamic type checking for Python which employs Sphinx-style docstrings