When used with envelopes, the crypto-msg construct aad (additional authenticated data) field contains the digest of the plaintext, authenticating the declared digest using the Poly1305 HMAC.
I believe Poly1305 isn't technically an HMAC (which refers to a specific MD-hash-based construction).
Replacing with MAC without narrowing it further is probably fine.
Several places in https://blockchaincommons.github.io/WIPs-IETF-draft-envelope/draft-mcnally-envelope.html refer to HMAC: Sections 1.5, 2.2.3, and 3.3.
For example:
I believe Poly1305 isn't technically an HMAC (which refers to a specific MD-hash-based construction). Replacing with
MAC
without narrowing it further is probably fine.