Refactoring: define TcRnMonad.failWith and use it in the renamer