Expression nodes type checking improved