Robert Collins wrote: ... > > Now, if we agree on the above *in principal*, I'll put this up > somewhere, and move onto the next step (defining the semantics of the > new features). +1. John =:->