go/types, types2: add mechanism to report "last good" source file position in case of a panic

We should track the source positions for the code we're in the process of type-checking so that we can report a position when panicking.

This won't simplify debugging (we can always turn on tracing), but it will make it easier for end-users to possibly find a work-around when presented with a compiler issue.