[Pitch] Elide `some` in Swift 6

Which I suppose isn’t technically accurate in shipping Swift, but it seems reasonable aligning the type system to the conceptual semantic as a future direction.