New unit tests of the notations parser.