Changed return type of Reduction::reduce from void to ResultType

Now that error handling is done via exceptions, the return value is free
for more sensible things.