3.1. The open directive 3.2. The use directive 3.3. Renaming definitions 3.4. Modular inheritance 3.5. Let expression 3.6. Metatyping