User should be able to invoke a function to highlight and list all mismatched types

[silverv]

If they know they are going to be using exactly matching types then this would help validate part of the correctness of the configuration.