(let ((var id tipe (+ e (+ x y)))) ())