Rework functions accepting elements of the procedure structure

[t-b]

• The API of these functions is just awful and difficult to get right.
• Rename the procedure structure to something less generic and document its element with examples