add a ForallTy constructor for Formula
bugfix in cnf