TypeSystem building に関するテスト追加
(def f g) みたいになってて g が後方で定義されていても、可能であれば推論する
(def x y) (def y x) のような場合には無限ループせず型づけできないと判断