(domain Num)

(use-numerals (0 ...) Num)

(define-numeric-operations)

(define (less-or-equal n m) (|| (less? n m) (num-equal? n m)))
(define (greater-or-equal n m) (|| (greater? n m) (num-equal? n m)))


(define (inc i) (begin (set! i (plus (ref i) 1)) (ref i)))