give type mismatch hint when checker fails for same value but wrong type

[shan-96]

Imagine below test case

type Alias string
const stringAlias Alias = "CONSTANT"
constant := ""CONSTANT

Assert(stringAlias, qt.Equals, constant) // fails

this fails rightfully but there is no hint from the checker that it failed on the type and not value.

This PR add another check for type so we can receive that hint

[frankban]

Looks good! Thank you.