This module implements the last [FA2.1 proposition](balance_of address old_value in).
The current implementation covers:
- multi-asset,
- single-asset and
- NFT.
Contracts use the same code but specific behaviors are given thanks to a record type (kind of module)