math.combinators: adding unless-positive and unless-negative.