自作SML処理系進捗：Hello Lua! の続き。

自作SML処理系「LunarML」の言語機能の実装も佳境に入ってきて（equalityやexception等の厄介な奴らはだいたい片付けた）、残すところは

• withtype (derived form)
• abstype（Successor MLに従いderived formとして実装する予定）
• signature
• functor

くらいとなってきている。