Now all binary expressions will have it's type analysed (not just for variable as whole).