This proposal introduces a new BURN opcode to burn native tokens at the given address. Right now burning tokens involves just sending them to some unrecoverable address, and/or for smart contracts with intended burn functionality, just letting them sit in the contract forever.