For each member of bag, binds value-var to it and and executes body a
number of times equal to the member's multiplicity. When done, returns value.