refine
	modified:   README.md
	modified:   src/AST.hs
	modified:   src/Main.hs
	modified:   src/Module.hs
	modified:   src/Parser.hs
	modified:   src/Resolver.hs
	modified:   src/Transformer.hs
	modified:   src/Type.hs
	modified:   src/TypeInfer.hs