how does the

type_checked

tag that the mypy.py script that runs as part of the commit hooks work?