Merge pull request #1 from danilaml/hindley-milner

Update: Fixed visitor, implemented float constraint
Tests upgrade.
Visitor for IntegerNumber.
Merge pull request #3 from PrikhodkoStanislav/hindley-milner

Visit for IntegerNumber and upgrade for tests.