(let ((val (alist-ref var env)))
  (if val
      (reduce val)
      val))