python, types, typing, typechecker, linter