Ensure ReduceExpression calculates types correctly (experimental parser)