Merge pull request #4 from PrikhodkoStanislav/hindley-milner

New visits and empty test is work.
Simple tests working now
Merge pull request #3 from danilaml/hindley-milner

Simple test is working now.