Consider using enum (or fake enum) for enumerated strings

[natebosch]

It's easier to avoid typos if we have enums or static class fields representing things like the analysis error severities, types, etc.