used to determine the type of the result of the expression evaluation
translator infers the types of variables based on the operations used
Smith found the cigarette tax falls on the tobacco consumer , not the tribe , meaning the tribe is simply an agent for collecting a tax .