1. 1. Types in Python
   1. 1.1. mypy
   2. 1.2. Changing types
   3. 1.3. Changing types when reading a number
   4. 1.4. Types of variables
   5. 1.5. Types of function parameters
   6. 1.6. Types function returns None or bool
   7. 1.7. Types used properly
   8. 1.8. TODO: mypy
2. 2. Case studies
3. 3. Process