Removing random bad character.
Certain mis-types are more interesting than others.
Its common to use a string => regex pattern in a fact. Its not useful to know the types if this fails, so suppress it.
Refactor: Record types of failed matches as notes.
Store types of mismatched equality checks and print them during emmission.