Naming of parameters and arguments has fallen behind the pseudocode description, even though the two match functionally. We should update the reference implementation to make things easier to line up. While we're in there, we should also provide some documentation for folks that want to use the reference implementation in other specifications.