Fix the error message in fail_todo_convert_facet_value_to_narrowed_fa…

…cet_type.carbon

Now that BitAnd for types exists, we should get an error about type
conversion, not about BitAnd not existing. Add `type.and` to the Core
package in the test in order to improve the error message.

This test will likely be made to pass by carbon-language#5060.