Implement map, union, difference on bags of natural numbers (#51)
Implement map, union, difference on bags of natural numbers (#51)

TODO before closing the issue:
- Introduce bags and prove the stupid derivative of map correct.

Old-commit-hash: 76c8ff03739579a6839431ba637557395ccbf8b2

inc-lc/ilc-agda