Fix declare-datatypes dumping bug (bug 385).
Add support for check-sat with argument.