Merge pull request #3 from PrikhodkoStanislav/hindley-milner

Visit for IntegerNumber and upgrade for tests.
fixed error
Merge pull request #2 from danilaml/hindley-milner

Update: fixed error