Parameterized, uninterpreted sorts need no Boolean-term conversion
Better S-Expr printing, for e.g. :all-options and :all-statistics.