Is there an unshielded equivalent to shieldedBurnAddress()?

Technical Questions
1

this a question migrated from the dev-chat:
from: **UTxOMaestro
**
The standard library provides shieldedBurnAddress() which returns the zero public key and guarantees shielded coins sent to it are burned. Currently it resolves to 0x00..00.

For unshielded tokens, there doesn’t appear to be an equivalent primitive. Is it correct to treat the zero UserAddress (UserAddress { bytes: 0x00..00 }) as a burn address for unshielded tokens by calling sendUnshielded(color, amount, right(zeroAddress))?

Specifically:

  1. Does the ledger treat tokens sent to a zero UserAddress as unrecoverable, or could they theoretically be claimed?
  2. Is there a plan to add an unshieldedBurnAddress() to the standard library?
  3. If the zero address convention is the intended approach, could this be documented alongside shieldedBurnAddress()?