TO DO

・単独表記を持たないwordの紹介
・外部変数を扱えるように。補題も
・php functionの整備。
順番替える。ary1_map,tex0,decent0を改良？
・word関数の#を\に
・数学の教科書を先に進める
きれいな定義を可能に
・必要な「推論の道具」を揃える

済
・rite関数の -> を => に。ルールの一番最初も変更
・FormをPropにするときには ` を使用(以前は ')
・名前を付けるほどのものでないFormの処理
・自然数の帰納法できた