Remove TABs from src

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

Remove eqtype declaration for term type

extra semicolons removed from (some) .sig files

Point liteLib.ABS_CONV to Conv's version.

liteLib's version had an efficiency bug that could cause exponential behaviour in
more cases than it should.

Remove liteLib's BINOP_CONV, which was not used anywhere.

Moreover, its name clashes with BINOP_CONV in Conv.sml (of different
type). Also remove the internal BINOP_CONV in Canon_Port.sml; this one
provided the same functionality as Conv.BINOP_CONV, but didn't handle
UNCHANGED exceptions properly.

Remove a couple of non-exhaustive pattern-bindings in liteLib and simp/Opening.

This reduces poly compilation output clutter.

Removed trailing whitespace from all .sml and .sig files.

This affects over 900 files and was done using emacs's delete-trailing-whitespace
function in batch mode. Building the system with Poly/ML and Moscow ML seems to
work, so I'm hoping these changes don't break anything. Please complain if
they do!

MLton forbids rebinding of the identifier 'it'. Whether or not
Standard ML allows this it seems like a good idea to avoid this.

Miscellaneous cosmetic changes.

Resurrection of liteLib.

Initial revision