Currently the `min`/`max` horizontal reductions are named: `min` and `max`. That is: `a.max()` returns the largest element in the vector. However, it isn't unthinkable that we might want to add vertical `min`/`max` methods some day: `a.max(b)` returning lane-wise min/max. I would be more comfortable with giving the horizontal `min`/`max` reductions a different name.