"x = 10; f(x,x)+g(x,x^2);"
は
(@d
　(= (x) (10))
　(;)
　(+
　　(f (@p (x) (,) (x)))
　 (g (@p (x) (,) (^ (x) (2)))))
　(;))
と扱ってるのですが、
(;
　(, (= (x) (10)))
　(, (+ (f (@p (; (, (x) (x) ))))
　　(g (@p (; (, (x) (^ (x) (2)) ))))
)
))
となるといいかなぁ？どうなのかなぁという感じです。