Added type inference for expression trees