Add patterns for integer negate