Fix type of * with no arguments.

Closes PR 12679.

collects/tests/typed-racket/unit-tests/typecheck-tests.rkt

@@ -172,6 +172,7 @@
         (tc-e (- -23524623547234734568) -PosInt)
         (tc-e (- 241.3) -NegFlonum)
         (tc-e (- -24.3) -PosFlonum)
+        (tc-e (*) -One)
 
         (tc-e (gcd 1/2) -PosRat)
         (tc-e (gcd 3 1/2) -PosRat)

collects/typed-racket/base-env/base-env-numeric.rkt

@@ -948,6 +948,7 @@
      (->* (list R R) R B))]
 
 [* (from-cases
+    (-> -One)
     (commutative-case -Zero N -Zero)
     (map (lambda (t) (commutative-binop -One t))
          all-number-types)