型解決

複数ファイルからコンパイルすんのに型解決は何パス必要か？
お手軽にやるとしたら3パスかなぁ

1パス目でstructのプロトタイプ作っておいて
2パス目でsubのプロトタイプ作る
3パス目でinferする

減らす方法あるのかも知んないけどこれが一番スッキリ分かりやすいから、これで作ろう
今は1ファイルからのコンパイルしかしないので2と3がごちゃまぜになってる

結構infer部分がワケワカラン事になってるからいっぺん整理せな