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.

Follow-on fixes to changing Term to Parse.Term and Type to Parse.Type
in the quotation pre-processor. A mass of trivial changes, but the
new way of dealing with files containing code that does parsing
(not script files) is to

* grab the ambient grammar(s)
* set the current grammar(s) to the right values
for parsing quotations in the file
* the body of the file
* reset the current grammar to the ambient grammar

For an example, see src/taut/tautLib.sml

Fixed a bug found by attempting to build examples/lambda. This
suggests the addition of new conversional, called QCHANGED_CONV,
"quick CHANGED_CONV" if you like. Document this. Also argue in a
comment as to why the fix works.

Got rid of QConv, and made all conversions do the "raise exception to
indicate reflexivity" thing. (Also fixed bug in new implementation
of ABS_CONV that attempted renaming on failure of conv, and not just
failure of ABS.)

Next step will be to rework the simplifier's implementation so that
it also uses Conv.UNCHANGED, rather than in its own internal version
of the same. This will let the simplifier play efficiently with
others.

May also assess making ABS_CONV not do renaming, and give the rewriter
its own special traverser. This might make some things more efficient.

Fix for MJCG's performance bug. The problem was in Canon_Port.PRENEX_CONV,
when dealing with deeply nested quantifiers.

Minor dull changes.

Kananaskis compatibility changes.

Elimination of dependency on Ho_theorems.

Fixes in order to remove library file dependencies on global grammars.

Minor fixes to accomodate overloading.

Changes to accomodate new look portableML.

Initial revision