Add test of lifting a reduction to a scalar (basically a no-op base case)