Use typechecked information to suppress type inference warning, where possible.

This does not solve false positives in every situation; notably it will
fail to work with multi-file packages; see #43.

Fixes #7.