Simplify go/types non-soft error handling
Simplify go/types non-soft error handling

If we encounter an error that isn't soft (unused var, etc) we will just
stop type-checking and panic later, so just panic directly.

Also clarify what the Check call is for.

mvdan/goreduce