I look forward to having non-escapable types in the language!
A bit of a niche question, but…
If I need to refer to "any metatype", I can no longer say Any.Type since the addition of move-only types, and must instead say any ~Copyable.Type. With the addition of ~Escapable, "any metatype" becomes any (~Copyable & ~Escapable).Type… I think? This is only going to get more complicated—should we take a moment to consider some improved syntax for "any metatype" (since a metatype in itself is not subject to move-only or no-escape rules)?