Very interesting, thanks for linking!
I would appreciate an ELI5 (or maybe ELI12) of the different covenant-style proposals and their use cases. Maybe we can use this thread for that purpose?
One for example I hadn't heard about is
OP_EVICT, proposed
here. It is discussed in Todd's text because it could make CoinPools and channel factories (=Lightning with multi-user channels) more efficient.
I try to resume it: It allows a participant of a multisig to be "evicted" from that contract. The main use case is if a participant becomes unresponsive, instead of having to "dissolve" the multisig, the unresponsive participant can simply be excluded, with his funds being returned to him, and the rest of the participants can continue inside the contract. In other words, it would transform a N-of-N into a (N-1)-of-(N-1) multisig without having to re-arrange the multisig completely. (correct me if there's an error).