                     (rplacd (quote dex) (quote (fexpr (lambda (x a) (rplacd (car x) (cons (quote expr) (cdr x))))))) 


                                                                                                          (dex append (lambda (x y) (cond ((null x) y) (t (cons (car x) (append (cdr x) y)))))) 
                                                                                       
