Filled out wcm semantics more. I think markset is unsound in the circular case. Unsure how to fix.
Better illustration for the example.