Ensure that the argument to NAME-TO-STRING is a NAME