[skip ci] Improve the documentation of the CNF primops. In this context, the term...