運算

課題：カリー化がうまく表現できて、図式追跡と（比較的）対応した運算法。

けっちょうムズ。

非形式的な運算って、記号の乱用やオーバーロードを無闇と使っているから、切り分けるのが大変。