Fix declare-datatypes dumping bug (bug 385).
Add support for check-sat with argument.
Better S-Expr printing, for e.g. :all-options and :all-statistics.