tseitin transformation using zipper - first attempts
wff?
unary? binary? ternary? and n-ary? use arity
more parts of tseitin transformation, but not yet completed
first version of sat