Fix a problem with accessing scopes from inside subexpression assertions
Fix a typo in an error message
Support syntactic comparison operators

- The current implementation is very crude and inefficient.  But the
  notation is much clearer.

- Updated documentation throughout.