i've been following @bruceonbitcoin for a few years and finally got a chance to do this
his takes and ideals regarding the need for abstraction on top of opcode scripting for bitcoin are well articulated.
Lambit is one of those DSLs targeting script. Check out this breakdown.
We’re probably past the point of ideologically scaling Bitcoin.
From here, it has to win on convenience or clear utility.
Thankfully, number go up is a utility.