Expected/actual types are shown out of context

[robrix]

We show the expected/actual type at some (potentially deep) location during typechecking, where it’s hard to tell which subexpression they apply to, or why.

Following Elm, we could print out the whole types and diff them to resolve this. See also #181 for the diffing portion.