See also #197212 for a more comprehensive discussion of "key deletion" covenants which are briefly mentioned there as a very limited kind of covenant that can work today without a soft fork

See also https://utxos.org/ for applications/use-cases for OP_CTV