Identifier.
Merge pull request #9 from PrikhodkoStanislav/hindley-milner

Identifier.