• CEP 507 - Compile-time binding of Python types
• Avoiding name collisions
• Extension to all Python types