toNNF now works and passes qickCheck +++ OK, 100