Modified in visitor and tests.
Merge pull request #10 from PrikhodkoStanislav/hindley-milner

Modified in visitor and tests.