(define (add augend addend)
  (if (integer? augend)
      (+ augend addend)
    (with-syntax ((x augend) (y addend))
                 #'(+ x y))))