Added a Name_of module to have an id -> name translation, not only id -> string.