Document the Negative Literals extension