Remove Automatic Evaluation

- [X] Stop auto eval for Xor
- [X] Stop auto eval for ITE
- [x] Stop auto eval for Not
- [X] to_nnf
- [x] is_nnf
- [X] is_literal for predicates
- [x] Tests
- [x] Documentation
Basic uses either _argset or args. And latticeOp uses _argset, since Xor does not extend latticeOp, I think we can safely omit it.