Merge pull request #2 from danilaml/hindley-milner

Update: fixed error
New visits and constructor in tests is work.
Merge pull request #4 from PrikhodkoStanislav/hindley-milner

New visits and empty test is work.