Fix src/rational for tight equality

Remove some code from schneiderUtils along the way that can't have
ever worked (and wasn't being called). Some of it included parsing
calls to ancient if-then-else syntax (gd => t | e).

Remove TABs from src

Will also make selftest to check that they aren't introduced

Remove eqtype declaration for term type

Remove -- as an alias for Term parser.

As per comment in release notes this has long been replaced as
appropriate style.

Avoid a bunch of pattern completion warning messages.

Add two new conjunction-related tactics to Tactic.

They implement something I noticed appeared in schneiderUtils, so that file
gets to become a little simpler.

Oops. Moved some files around to cope with change in build sequence.