Merge pull request #5 from danilaml/hindley-milner

fixed identifier.
Binary Operations add.
Merge pull request #11 from PrikhodkoStanislav/hindley-milner

Binary operations add.