How to start using types in Python with Mypy Carlos Villavicencio-Stack Builders software developer and consultant