Some further changes

This is a couple of edits for clarity, and a specification of the variadic form of hash_append.  The latter seemed not to be in the existing proposed wording, but is necessary for various of the paper's examples to compile.

HTH