disco-0.2: test/repl-ann/expected

Loading num.disco...
factor : ℕ → Bag(ℕ)
(λx : ℕ. (λy : a. (~-~ : ℤ × ℤ → ℤ)((x : ℤ, 7 : ℤ) : ℤ × ℤ) : ℤ) : a3 → ℤ) : ℕ → a3 → ℤ