Fixed a bug where terminal , in patterns weren't auto-substituting themselves.
Labels must be words, now.  (Allowing ids to be labels caused a bug because they're compared by pointer not by name).