WYRL: bug fix for pattern matching sets or bags.
WYRL: Bug fixes.  Logic example seems to work now, and types is close but there remains a bug with the last example from the README.