Lambda abstraction (which is used by this “tree calculus”) is a form of quotation.

Nit picky point: quote/eval is an integral part of Lisp, not a later addon.