On 3/25/18 10:22 AM, Johannes Pfau wrote: > I don't really understand why you want to this keep lexical order > functionality. I don't want. I think others will, once their programs depending on the current semantics will have trouble.