Though actually, now that I think about it, the cascaded notation in S12 is illegal according to S03, since "does" is classified as non-chaining, which implies non-associative. Hmm. We'd have to make it right associative somehow. Put it in with ** maybe?
Hmm. Or leave it non-associative and force | or ; notation to keep things crystal clear. The basic problem is that the declarational "does" has a natural scope that it applies to, so it doesn't have to arbitrarily limit its scope as a binary operator does. Larry