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