add support for cvc4's theory of finite sets.

also improve compliance with smt2 standard (wrt. printing of negative literals)