> 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).