Email type checker for Pylint?

We are considering adopting Python for our introductory computer
science courses, but are alarmed by the idea of having to personally
help students track down any number of bugs that would have been
caught by C++'s type checker. (Not that we mind personally helping
students, but it is a waste of our time to do something that can be
automated...)

I am hoping to find either (a) a type checker that relies on
assertions about types to find errors in a way similar to C++, if one
adopts the coding standard that one must declare variable types with
assertions, or better yet (b) a type checker based on something like
the Hindley-Milner type inference algorithm, which would make use of
assertions about types but not require them everywhere, and thus
detect inconsistencies without requiring a huge number of type
declarations (often none at all, if we make use of type information
about basic operations and libraries).

Do you know if anyone has added either (a) or (b) as an option in
Pylint? If not, can you tell be about any documentation for how to
write new "checkers" (or whatever the right term is) and provisions
for accepting contributions to Pylint?

Sincerely,
Dave Wonnacott
davew@cs.haverford.edu