refine
	modified:   AST.hs
	new file:   Module.hs
	modified:   Parser.hs
	new file:   Resolver.hs
	new file:   Type.hs
	modified:   TypeInfer.hs