Type-check document_matchers.py