Implement type inference in the analysis context from values in the variable table from the evaluation context
Add more tests for expression analyser