Merge pull request #5 from PrikhodkoStanislav/hindley-milner

New visits and tests.
Added necessary functions/tables

fixed one of the tests
Merge pull request #6 from PrikhodkoStanislav/hindley-milner

Added working test for string.
Merge pull request #4 from danilaml/hindley-milner

Added necessary functions/tables