Trait system

In this chapter of the guide, we discuss a few improvements to the trait system. The most notable of these is impl Trait.