Python Type Hints

Add accurate type hints to Python code and fix the mismatches a type checker reports.

• software
• add