このモジュールは、Parser の出力する抽象構文 (Absyn) を変換して、型推論可能な形にする。 主な仕事は以下の通り：
これらのうち、2020年4月時点では、最初の４項についてはほぼ実装済みだが、最後の「型やクラス宣言の処理」については、 ごく一部しか実装できていない。これらを実装していきながら、この記事を書いていくことにする。
※ 脱糖のうち、ごくいちぶ（Typing に合わせるためのもの）は、Rename で、パターンマッチ変換などは、TrCore で実施している。
issued: 2020-04-05
renSigdoc (A.Tycon n) のハードコーディングをなおすには、定義済の型コンストラクタから型への辞書を持つ必要がある。 ユーザ定義型の型宣言に対応するには、それに先立ってやっておく必要あり
issued: 2020-04-05
型宣言がリネームをみだしている模様。