(define leaf? ; TYPE: datum -> boolean
  (lambda (x)
    ; ENSURES: result is true iff
    ;  x is a leaf of a tree
    (not (or (pair? x)
	     (null? x)))))