We already have `vec.len()`. There are a lot of other things that would be nice, particularly everything in `option`
We already have
vec.len(). There are a lot of other things that would be nice, particularly everything inoption