Merge pull request #3 from danilaml/hindley-milner

Simple test is working now.
Added new visits and tests.
Merge pull request #5 from PrikhodkoStanislav/hindley-milner

New visits and tests.