It’d be a big miss to add transaction introspection (covanents) and not enable lightning to remove anchors entirely. Allowing the transaction broadcaster to simply reduce their balance to pay fees at broadcast-time would solve one of the biggest pain points for LN.

Sadly I’m not sure that any covanent opcodes currently proposed would enable that - you need the ability to sign all outputs except the value of one, but still ensure the value is over some threshold. 

 This is where you would want to see a Pedersen commitment, right? 

 Maybe? But arithmetic opcodes and introspection would be simpler.