Ensure ReduceExpression calculates types correctly