Linters for capitalization differences

[TeamDman]

right now, we have linters for labels found in world but not in disk and labels found in disk but not in world but we dont yet have a linter that indicates when any labels in the world differ from the labels in disk only by capitalization