Restricting trait implementability and field mutability

I'm looking forward to Vec.len being directly accessible as a field.

mut(self) almost feels like it should be the default form :~)