All of these are now valid cells in the 1st line below CONDITION:
Type from $east
Type() from $west
and constraints from one or more snippets in the 2nd line are handled as
are also accepted and expressions from one or more snippets in the 2nd line
are joined with '&&' and inserted into the eval.
And: memberOf and str[...] are recognized as trailing operators.