Type inference on variables.