All of these are now valid cells in the 1st line below CONDITION:
Type
Type()
Type from $east
Type() from $west
and constraints from one or more snippets in the 2nd line are handled as should be.
... eval
... eval()
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.
-W