Sized (or Sizeable) str, e.g. str<const N: usize>

I think once const generic expressions and arbitrary const generic types arrive (or even just &'static str getting whitelisted), it should become possible to do everything you need in user code. But progress on const generics is slow...