Add negate (racket/function) to TR

collects/tests/typed-scheme/succeed/function.rkt

@@ -7,4 +7,7 @@
 
 ((const 'foo) 1 2 3)
 
+(filter (negate symbol?) '(1 a 2 b 3 c))
+(map (negate equal?) '(1 2 3) '(1 1 1))
+
 ((curry (lambda (x y) (cons x y)) 5) '())

collects/typed-scheme/base-env/base-env.rkt

@@ -1354,6 +1354,8 @@
 ;; scheme/function
 [identity (-poly (a) (-> a a))]
 [const (-poly (a) (-> a (->* '() Univ a)))]
+[negate (-polydots (b) (-> ((list) [b b] . ->... . Univ)
+                           ((list) [b b] . ->... . -Boolean)))]
 (primitive? (-> Univ B))
 (primitive-closure? (-> Univ B))