But if someone happens to install two modules that define the same
tr() function, they get PHP errors on duplicate function definitions.
For this to be a viable work-around, it needs to be in your module's
namespace, such as mymodule_tr(). I'm not sure that's fundamentally
more readable than just doing:

What I mean is to include that function in the Drupal core. That's it.