Named impl with Implementation Selection Variant

Advantages Over Other Drafts

1. By forbidding named implementations for specific traits, the hashtable problem is cleanly bypassed.
2. Allow overlapping of named trait implementations, resolving the implementation during monomorphization, thus enabling specialization and partial specialization.
3. The approach is more ergonomic, more explicit, and more complete.