> Should we first write a draft with the precise syntax though?
>
> That sounds reasonable.  Would you like to draft it?

I can, but would it be better if John did the honors? He would have a
better grasp of the terminology and context (i.e. how different natural
and programming languages tie into this, plus the Scheme reports).