木構造を定義するだけで計算ができるの？

確かに木構造が表現できれば自然数やもっとリッチなデータも表現できるけど、
計算規則が定義されていないから計算を実行できないじゃん。