updated clocked-channel declaration in example to be pos-edged
more documentation, passn/passp macros
more docs on exclusion and invariants