Change "line" to "on line" in the string representation of one line `SrcSpan`s
Make errors a little bit better when a type alias gets the wrong number of arguments.
Give line numbers when there is a kind error in a pattern