文字コードをUTF-8に
方程式の抽出と単一化を交互に行うようにした
多相型を扱えるように拡張
型代入の実装に標準ライブラリのMapを用いた
型に関するモジュールから型スキームに関するモジュールを独立させた