report -I and -M options in --help output
Merge branch 'nom' into extend-dump
Considerable DUMP refactoring, resulting in proper automatic handling of circular data structures -- but also some uninitialized value warnings that still require squashing