I've thought about this a lot over the last few weeks, and I think the transition might be feasible. I wrote up my thoughts in a pitch that we can discuss over here: [Pitch] Introduce existential `any`