WYRL: non-determinitic matching of sets is now working.
WYRL: implementing Runtime.accepts(...) still.  Almost done, I think.