Use real types

[MikeInnes]

e.g. each warning should have a type and data, rather than being a string. We need this both for better display and to more declaratively test for presence/absence of warnings.