Type-check images.py