Unison language has a very elegant solution to the naming problem.