Expression analyzer in progress / Hindley-Milner Algorithm W