More fixes to answers, summary reports more accurate,
and the NullAnnotator now reports the name of each argument
to avoid confusion.