(: pair-or-null? (* --> boolean))
(define (pair-or-null? x)
  (or (pair? x) (null? x)))

(: exact-natural? (* --> boolean))
(define (exact-natural? x)
  (and (exact-integer? x) (not (negative? x))))