Add some initial to_nnf logic