We dont need to include the token in data availability guarentees.
What we can do is make the snark generate a merkle tree of tokens -> fee.
Each transaction we add to the fee of that token. We have to do a few more hash functions here. But we can limit the depth of the tree to ~4.