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....