Add missing behaviors to tokens design pattern

- [ ] Behavior regarding modifying `balance` by `transfer` and `transferFrom` is missing
- [ ] `balance` is currently is just an integer which means it does not capture the array of that can interact with the contract.