ExplicitNil: extend correctness of optimized derivation to support bag union and difference
ExplicitNil: extend correctness of optimized derivation
to support bag union and difference

Old-commit-hash: 40f74c6acb6b271d0654bbc62228aba5fbfc8edf

inc-lc/ilc-agda