disco-0.1.0.0: test/types-naked-ops/expected

~max~ : ℕ × ℕ → ℕ
~! : ℕ → ℕ
~mod~ : ℤ × ℤ → ℤ
~+~ : ℕ × ℕ → ℕ
not~ : Bool → Bool