原です。

>正木です。

>def (Null=[]).+(x)
>   x
>end
>def Null.*(x)
>   x
>end

実際この手のオブジェクトを組み込みで持ってもいいかも。

ただ、加法の単位元と乗法の単位元は分けた方がいいですね。

1 = Null * 1
   = Null * 1 + 0 * 1
   = (Null + 0) * 1
   = 0 * 1
   = 0

とか計算しそう。