Start re-writing the tests based on that in NOTES.md
Modify tests for union parsers.
Record broken test for product parsers (fails because we do not account for parsers whose intersection is nonempty).
Correct tests for concatenation parser.
Remove redundant concatenation test.