Guide: edit Generics and Traits sections

Nothing major. Clarification, copy-editing, typographical and grammatical consistency
Actually, in Rust we should probably call it "orphan impl" -- the term comes from Haskell.