Simplify nnf_do().

Remove the superfluous "arrow" case: formulas passed to nnf_do() do not contain
implications.