Extensional equivalence on bags Checkpoint: NatMap is unnecessary. Remove it.
Extensional equivalence on bags
Checkpoint: NatMap is unnecessary. Remove it.

Old-commit-hash: f465114a1f29ce95ce687d717c48ad6d5bbf7693

inc-lc/ilc-agda