Add default error messages for type checks.

Closes #1.
Use value instead of expressions.