Type of expected record is wrong

Relating to issue 174

When a failure occurs in comparing two things, their types are recorded as notes (if they seem interesting) and are printed by the emissions formatter.