sets translate: a different translation using axioms

todo: set logic correctly, split the code for two translators
sets parser: allow define-fun/declare-fun of emptyset token