Remove eqtype declaration for term type

improve documentation of ConseqConv

Provide additional doc-files and cleanup ConseqConv.sig. The file
"ConseqConv.sig" changed considerably. However, the changes are just
reorderings and changed comments. The signature itself stayed unchanged.
Similarly, the changes to "ConseqConv.sml" are just changes to comments
and whitespace.

Expose CONSEQ_TOP_REWRITE_CONV and variants in ConseqConv

minor tweaks on quantHeuristicsLib, adept Holfoot to changes with MEM

added signature to quantHeuristicsLibAbbrev, generalised DISCH_ASM_CONV_TAC
- added signature to experimental library in order to make it compile with Moscow ML
- generalised DISCH_ASM_CONV_TAC in ConseqConv. Now it can handle newly
introduced assumptions. Therefore, it can be used for the new lib now.

Remove trailing whitespace in source files.

Change src/bool to src/1 as a prelude to experimentation!