add position info
	modified:   AST.hs
	modified:   Parser.hs
	modified:   TypeInfer.hs