Hindley milner

Tests for HMSemanticAnalyzer - beginning.