fixing problems in designing ==Bag

1, Add function for ==Bag.

2, comment out some rule with keys of maps with structures;

3, rewrite some functions into left hand side + right hand side structure.