いろいろ整理
やはりVarにはarityがあるとして書き直しはじめる。
とりあえずExprの定義まで修正