>>711
X+YとY+Xをなぜ区別したいのかわからないので
適切な回答が思いつかない。

ひょっとしてX=X+YのときXの束縛を変更するんじゃないくて、
Xに束縛されているオブジェクトに副作用を起こしたいとかか？