I thought it was a character trait. I assumed he had a “Who” name, but no one uses it because he was being a dick all the time so they called him “the Grinch.”