Type errors don't print expected in notes
Right now, it seems to print type errors as
expected T, got Y
^^ expected T here
however, those are hard to read, especially for long types. we should print it as
expected T
^^ expected T here
Note: Expected T
Note: Got Y
which I think we already do in some places. I'll need to find some reproductions of this I suppose