Improve wording of type check failure

[crapo]

Currently a type check error is of the form "<left side type info>, cannot be compared (<comparison type, e.g., 'is') with <right side type info>".
Would it be better to say "<left side type info> isn't comparable (<comparison type, e.g., 'is') with <right side type info>"?