Some big refactors

内部の使用に多くの変更があります.

* `:^` を一切しようしない事にした.

* `Formula` クラスが左辺と右辺ではなく、項を配列として持つようにした

* メタ式評価メソッド`_` を導入

* `Operator ` モジュールの構造を大幅に見直し

* term(項)の省略記号として`tr`, terms（複数の項）の省略記号として`trs`, 左項、右項の省略記号として`ltr`, `rtr`を導入した.

* その他多くの細かいリファクター