Rename `std2` to `safestd` or similar?

Overall, this draft proposal is very interesting and I'm very excited about it. However, I'm not stoked about the idea of the safe standard library being called `std2`. Could we have a more useful name like `safestd` or similar?