Proposal: add `Slice1<'a, T>` and `MutSlice1<'a, T>` types as a logical extension for the `Vec<T>` -> `Vec1<T>`

[DanikVitek]