As an aside about Arc, but not to harass you:
If you don't mind my asking of silly questions, I have noticed that in provided snippets the syntax you seem to make use of the most is the [_] notation even though you had some additional ideas kicking around originally (e.g., x:y for (x 'y), allowing infix math, letting users define syntax). Are you still planning to include / already have these (and possibly more) syntactical forms? What of parentheses inference (not as a matter of hating parens, but just as something included in your initial writings that hasn't seemed to surface in code snippets)? Any new thoughts about such things?