Add test for integerDivision.
Fixed tests.
Merge pull request #12 from PrikhodkoStanislav/hindley-milner

Fixed and added tests.