Irony - Alanis Morisette Song [duplicate]

Terms like these are often used by particular writers to mean particular things, but a simple explanation is that verbal irony is saying one thing and meaning another.

I'm not sure where you got that list of "6 types of irony". I've never seen that particular list before, so to the best of my knowledge, it's not a commonly accepted set of types, but something that one particular writer made up to illustrate his point. If that's the case, it may well be useful as a general explanatory tool of the meaning of irony, but I wouldn't get too wrapped up in detailed definitions of each. People are always coming up with lists of "the 6 types of mystery story" or "the 8 kinds of politician" or whatever. To the extent that such categories are useful in understanding the author's point, great. But I wouldn't try to memorize them or agonize over ambiguities, because the next book you read will talk about the 7 types of mystery story and the 3 kinds of politician, and they'll be totally different.

Of course some such lists become well-known and widely accepted, and at that point they have at least literary interest. Like Plato's 6 types of government, the 7 Deadly Sins, etc.