refine
	modified:   AST.hs
	new file:   Main.hs
	modified:   Module.hs
	modified:   Parser.hs
	modified:   Resolver.hs
	new file:   Test.hw
	new file:   Test2.hw
	modified:   Type.hs
	modified:   TypeInfer.hs