[fix] case式のdesugarのためにパターン内の変数（自然数）を名前として扱うようにした

HIEのバグの原因になってた不要な括弧を削除

パターンの脱糖を実装

caseとパターンを木に追加

[fix] AST.TopのPretty化

[fix] 型定義の変更で壊れたPrettyPrinter.hsを直した

[fix] 型定義の変更で壊れたParser.yを直した

[fix] 構文木の型定義について、中の名前の型を型パラメタにしてBitraversable化

[add] リテラルの脱糖を追加

[add] ASTの脱糖衣関数を追加

[add] 大域環境のデータ型に型注釈を追加

[fix] TypeCheckMonadをMonadState化

[add] 代入対象が定数の場合の代入を実装

[add] 代入対象が定数かメタ変数の場合以外の代入を実装

[add] Unificationを実装