Fixing exhaustiveness warnings.

ClassfileAnnotArg becoming sealed brought tidings of not being
exhaustive.