--
(def (eval e l d c)
(if (atom? e)
((ahandler (type e)) e l d c)
(eval (car e) l d
(fun (x)
(evapp x (cdr e) l d c)))))