Improve printed names of types in errors.
Improve the reported lines in some error messages.