LISP-like with value semantics