annotate: Fix symbol/string issue for default check

Now at least _one_ default can be checked.
annotate: Slight cleaning up of comments
annotate: Try to check for several defaults (broken)

It doesn't work to iterate over a list of defaults.

It compiles but doesn't add missing items.