Simplify maps over productions and consummation
Simplify maps over productions and consummation

Other/Minor Subchanges

- Replace delete with tbs-delete
- Reformat proc arguments to match with actuals
- Remove unused arguments

rchain/Rholang,rchain/Rholang