Introduce stricter options

Mypy is very configurable. Once you get started with static typing,you may want to explore the variousstrictness options mypy provides tocatch more bugs. For example, you can ask mypy to require annotationsfor all functions in certain modules to avoid accidentally introducingcode that won’t be type checked. Refer to The mypy command line for thedetails.