Type checking helpers for Python.