This looks very promising! I haven't had time to dig into the details, and I'll probably wait until there's an implementation to try. Chapel is now using something vaguely [similar](https://www.chapel-lang.org/docs/language/evolution.html#readme-evolution-class-memory-management). I'm looking forward to evaluating the prototype.
BTW, while you can be **unarmed** , the verb is **disarm** , at least in American English.