Difference between these name tropes?

So, I know that Ironic Name, Non-Indicative Name, and Squat's in a Name are all "This character has a name that seems like a Meaningful Name but isn't", but what's the difference?

• Ironic Name: The name is deliberately contradictory to the character in some way. Eg. a devilish character named "Angel". Here, angels and devils are at odds.
• Non-Indicative Name: The name is not contradictory, but rather inaccurate in some way. Eg. The villain is from Vienna but the characters all refer to him as "the German". Here, Austria and Germany are not opposites, but it's still a misnomer.
• Squat's in a Name: A character has a name that is historically or mythologically loaded in some way, but it doesn't mean anything, eg. a woman is named Persephone, but the story has zero connections to Greek mythology nor is she particularly associated with nature. (This almost rubs me as not tropeworthy, but that's how it's defined.)