RFC: overloaded slice notation

This RFC adds *overloaded slice notation*:

- `foo[]` for `foo.as_slice()`
- `foo[n..m]` for `foo.slice(n, m)`
- `foo[n..]` for `foo.slice_from(n)`
- `foo[..m]` for `foo.slice_to(m)`
- `mut` variants of all the above

via two new traits, `Slice` and `SliceMut`.

[Rendered](https://github.com/aturon/rfcs/blob/slice-notation/active/0000-slice-notation.md)
This puzzles me. Why doesn't indexing use `a[mut 0]` for this same effect? Is there a between-the-lines proposal here to make `IndexMut` also require a `mut` annotation? If not, why does this need an annotation and `IndexMut` not?