better printing of FO substitutions
add a ForallTy constructor for Formula
bugfix in cnf
Unif: equality up to substitution implemented
fix Unif.Unary.eq
version
bugfix in Formula.simplify
0.3.4
bugfix: do not rename variables for skolemized formulas (otherwise
variables wont match)
version 0.3.5
merge from bugfix