Add test-case for Type error messages