2.1. The open directive 2.2. The use directive 2.3. Renaming definitions 2.4. Modular inheritance 2.5. Let expression 2.6. Metatyping