Merge pull request #4 from danilaml/hindley-milner

Added necessary functions/tables
Added tests for boolean and nil.
Merge pull request #7 from PrikhodkoStanislav/hindley-milner

New tests for boolean and nil.