Expression analyzer in progress based on Hindley-Milner Algorithm W