Types in Python

1. mypy
2. Changing types
3. Changing types when reading a number
4. Types of variables
5. Types of function parameters
6. Types function returns None or bool
7. Types used properly
8. TODO: mypy