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

These are for compatibility with the old assumptions interface