Adding a section about interfaces and type aliases to chapter 3