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