aldor tests: Add a testcase reflecting issue #91
Add workaround for bug #91.. make sure there is a nice visible reference to
'% has CopyableType' at the top level of the default body.
Add rules to run tests enclosed by #if ALDORTEST in the aldor and algebra
libraries.  Currently just runs vs the interpreter, so a couple (sal_cmdline
and a gmp test) fail.
bint.c: Add some paranoia regarding sizeof(long) and sizeof(UNotAsLong).

Check for bad configurations in tests and library.  Also, look for
const in cconfig.h
algebra: Be a little more careful when testing gcds - code sometimes
does gcd(0*x, 0*x) and expects x.  In this case, 0 is returned.

Also, preserve result of test properly.
aldortest: Tests should fail with an exception, rather than just
printing "error"

This should enable make check to work better.
Force tform on substituted AbSyn objects to be the result of substitution.
This should remove cases of '%' flying around when they aren't wanted.

Main effect of this is to make the interpreter a bit more reliable.
tform.c: Removed check on tfSyntaxConditions

It shouldn't be needed as the 'tfIsMeaning' guard will avoid any
errors.
tfsat.c: Look for symeEqual symbols on dependent types - pointer equality
needn't be enough with the interpreter.
guide.tex: Fix up series example to work.

There were a couple of typo'd names
algebra/tests: Add a couple of (weak) tests taken from the user guide.

As ever, much more testing needed....
fix tests for HW_IA64