Make changes as requested by the Rust team

This adjusts the proposal to propose `T: ?Sized` instead of `T: Sized?`, and
changes the syntax for traits to `trait Trait for ?Sized` instead of `trait
Trait: Sized?`.