extended documentation to describe pattern-matching and negation features