Gruffalo fox, Gruffalo characters, The gruffalo