Add predicates `Q.nonpositive` and `Q.nonnegative`