Adding type inference for let