Disable reporting of typechecking errors.

These are too noisy right now.

Fixes #57.