Better S-Expr printing, for e.g. :all-options and :all-statistics.
Fix declare-fun/define-fun in dumps; resolves bugs 408 and 385