Improve unsound type warning

[ospencer]

This code:

provide let test = () => {
  return false
  return false
}

gives the hilarious warning this statement never returns (or has an unsound type)..

Clearly the statement return false returns. We should improve the error message to explain what's going on.