Add more typing annotations to checks.py