Add section for additional types

[Gram]

Some tools allow to have empowered type annotations, extending mypy capabilities. Let's talk if we want a new section for them or "mypy plugins" fits well enough.

• https://github.com/dry-python/returns
• https://github.com/antonagestam/phantom-types
• https://github.com/mplanchard/safetywrap
• https://github.com/contains-io/typet
• https://github.com/alice-biometrics/meiga
• https://github.com/MaT1g3R/option

[Gram]

Looks like we can have a separate section for plugins adding Result monad 🙃

[Gram]

Offtopic: A few unrelated links to add, memo for myself:

• https://github.com/ymyzk/mypy-playground
• https://github.com/django/asgiref/blob/main/asgiref/typing.py