Improved error messages in example type checker.