type checker for Pylint?