Generalize object and type parameter bounds

An RFC summarizing type system changes that close up rust-lang/rust#5723 and related bugs.
i was assuming this is just like the lifetime elision RFC (i.e. the "normal rules" niko refers to above), no?  (And thus the two `'a`'s are distinct.)

But of course Niko is the one who knows the true answer. :)