Do not report expected type when not helpful

[Kha]

At a minimum, we should not report the type of a by block when inside it, i.e. when the displayed goals are more specific and can lead to confusion in combination.