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...