Sequent bot 進捗報告

• 進捗報告のためのスクラップを作成
• コードの読みやすさとパフォーマンスの向上のために現在大規模改修中

• メインの証明出力機能の大規模リファクタリングが終了
• 続いてパーサー等の残りのリファクタリングにとりかかる予定

all x,y,z P(x,y,z)みたいなのをパースできるようにした。
今まではall x all y all z P(x,y,z)のようにする必要があった。