Added 'success' tests for toplevel partitioning.
Added 'failure' tests for structural errors in toplevel clauses.
Added 'success' tests for standalone terminal filtering.
Adde 'failure' tests for standalone terminal filtering.
Added 'success' tests for extension terminal partitioning.
Started writing 'failure' tests for extension terminals.

Finally I have realized that the current approach to partitioning and
checking syntax is deficient. It is not right to first roughly split
clauses into classes by guessing their true class, and then verify our
guess.

Backtracking will be hard to implement with syntax-rules, and we
should backtrack if our guess was wrong but the clause may be still
syntactically correct. A better approach will be to first filter our
entirely correct clauses, then check for remaining ones, guess their
classes, and then produce some meaningful error message.

Dunno about multiple errors. `syntax-error` does not give a chance
to do it, so I guess it will be just the first erroneous clause to be
reported.
'Failure' tests maintenance.

* Added more tests for extension terminals (removals and modifications).
* Renamed tests for the names to be shorter.
* Reformulated some error messages for precision and consistency.
Added Travis CI intergration.

`run-all-tests' script is a bit hairy, but it does the job.
Some day I will make it better. I hope.

CI is currently enabled only for 'partitioning' branches.
It will be enabled for all branches when this gets merged into master.
Merge branch 'partitioning-tests' into 'partitioning'