Add default error messages for type checks.

Closes #1.