Commit list of test cases for src/nalgfa.lisp, as contributed by Michel Talon,
with the following changes:
* In expected results, write -(foo/baz) in several places instead of -foo/baz.
Although -foo/baz is the printed output, it does not parse the same as -(foo/baz),
which correctly reproduces the expected result.
The discrepancy originates in NFORMAT, which arranges expressions for output;
it is arguably a bug, but anyway just work around it here.
* Apply `rat` to expected results for bdiscr and algtrace, since those return MRAT
expressions. Since expected results are not evaluated, ensure rat is called
via quote-quote.
* Fixed a couple of typos.