Rather than emitting any time there's a comment block at all, scan to
see if there are any non-whitespace bytes. Since the skeleton files
always contain empty comment blocks, this should help in the case when
graders do not delete them.
See Grade.Section.SectionOnly for an example of how this could be used.
While here, break SecCallback into a core and existential wrapper;
this makes it a little easier for the scoring modules to write down
meaningful types as a kind of machine-checked documentation.