Support empty (and 1-ary) tuples and records.
Support per-command verbosity settings.
Better S-Expr printing, for e.g. :all-options and :all-statistics.
fix declare-datatypes dumping bug (bug 385)